{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:59:28Z","timestamp":1790816368487,"version":"4.1.0"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030884277","type":"print"},{"value":"9783030884284","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-88428-4_21","type":"book-chapter","created":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T02:03:11Z","timestamp":1633053791000},"page":"417-438","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis"],"prefix":"10.1007","author":[{"given":"Ra\u00fal","family":"Pardo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Willard","family":"Rafnsson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian W.","family":"Probst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,10,2]]},"reference":[{"issue":"3","key":"21_CR1","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1109\/TIT.1976.1055550","volume":"22","author":"IA Ahmad","year":"1976","unstructured":"Ahmad, I.A., Lin, P.-E.: A nonparametric estimation of the entropy for absolutely continuous distributions (corresp.). IEEE Trans. Inf. Theory 22(3), 372\u2013375 (1976)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"21_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96131-6","volume-title":"The Science of Quantitative Information Flow","author":"M Alvim","year":"2020","unstructured":"Alvim, M., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., Smith, G.: The Science of Quantitative Information Flow. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-319-96131-6"},{"key":"21_CR3","first-page":"28:1","volume":"20","author":"E Bingham","year":"2019","unstructured":"Bingham, E.: Pyro: deep universal probabilistic programming. J. Mach. Learn. Res. 20, 28:1-28:6 (2019)","journal-title":"J. Mach. Learn. Res."},{"issue":"2","key":"21_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s00165-018-0469-z","volume":"31","author":"F Biondi","year":"2018","unstructured":"Biondi, F., Kawamoto, Y., Legay, A., Traonouez, L.-M.: Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. 31(2), 165\u2013206 (2018). https:\/\/doi.org\/10.1007\/s00165-018-0469-z","journal-title":"Formal Aspects Comput."},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1007\/978-3-642-39799-8_49","volume-title":"Computer Aided Verification","author":"F Biondi","year":"2013","unstructured":"Biondi, F., Legay, A., Traonouez, L.-M., Wasowski, A.: QUAIL: a quantitative security analyzer for imperative code. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 702\u2013707. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_49"},{"key":"21_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/b97636","volume-title":"Model Selection and Multimodel Inference: A Practical Information-Theoretic Approach","author":"KP Burnham","year":"2002","unstructured":"Burnham, K.P., Anderson, D.R.: Model Selection and Multimodel Inference: A Practical Information-Theoretic Approach. Springer, New York (2002). https:\/\/doi.org\/10.1007\/b97636"},{"issue":"5","key":"21_CR7","doi-asserted-by":"publisher","first-page":"531","DOI":"10.3233\/JCS-2008-0333","volume":"16","author":"K Chatzikokolakis","year":"2008","unstructured":"Chatzikokolakis, K., Palamidessi, C., Panangaden, P.: On the Bayes risk in information-hiding protocols. J. Comput. Secur. 16(5), 531\u2013571 (2008)","journal-title":"J. Comput. Secur."},{"key":"21_CR8","unstructured":"Cherubin, G.: Black-box security: measuring black-box information leakage via machine learning. Ph.D. thesis, Royal Holloway, University of London (2018)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Cherubin, G., Chatzikokolakis, K., Palamidessi, C.: F-BLEAU: fast black-box leakage estimation. In: SP 2019, pp. 835\u2013852. IEEE (2019)","DOI":"10.1109\/SP.2019.00073"},{"key":"21_CR10","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C.: LeakWatch: pseudorandom number generators example. https:\/\/www.cs.bham.ac.uk\/research\/ projects\/infotools\/leakwatch\/examples\/prng.php"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-642-39799-8_47","volume-title":"Computer Aided Verification","author":"T Chothia","year":"2013","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C.: A tool for estimating information leakage. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 690\u2013695. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_47"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-11212-1_13","volume-title":"Computer Security - ESORICS 2014","author":"T Chothia","year":"2014","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C.: LeakWatch: estimating information leakage from Java programs. In: Kuty\u0142owski, M., Vaidya, J. (eds.) ESORICS 2014. LNCS, vol. 8713, pp. 219\u2013236. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11212-1_13"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C., Parker, D.: Probabilistic point-to-point information leakage. In: CSF 2013, pp. 193\u2013205. IEEE (2013)","DOI":"10.1109\/CSF.2013.20"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Clarkson, M.R., Myers, A.C., Schneider, F.B.: Belief in information flow. In: CSFW 2005, pp. 31\u201345. IEEE (2005)","DOI":"10.1109\/CSFW.2005.10"},{"key":"21_CR15","volume-title":"Elements of Information Theory","author":"TM Cover","year":"2006","unstructured":"Cover, T.M., Thomas, J.A.: Elements of Information Theory, 2nd edn. Wiley, New York (2006)","edition":"2"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"21_CR17","unstructured":"Dillon, J.V.: Tensorflow distributions. CoRR, abs\/1711.10604 (2017)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11681878_14","volume-title":"Theory of Cryptography","author":"C Dwork","year":"2006","unstructured":"Dwork, C., McSherry, F., Nissim, K., Smith, A.: Calibrating noise to sensitivity in private data analysis. In: Halevi, S., Rabin, T. (eds.) TCC 2006. LNCS, vol. 3876, pp. 265\u2013284. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11681878_14"},{"issue":"3\u20134","key":"21_CR19","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1561\/0400000042","volume":"9","author":"C Dwork","year":"2014","unstructured":"Dwork, C., Roth, A.: The algorithmic foundations of differential privacy. Found. Trends Theor. Comput. Sci. 9(3\u20134), 211\u2013407 (2014)","journal-title":"Found. Trends Theor. Comput. Sci."},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-41528-4_4","volume-title":"Computer Aided Verification","author":"T Gehr","year":"2016","unstructured":"Gehr, T., Misailovic, S., Vechev, M.: PSI: exact symbolic inference for probabilistic programs. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 62\u201383. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41528-4_4"},{"key":"21_CR21","doi-asserted-by":"publisher","DOI":"10.1201\/b16018","volume-title":"Bayesian Data Analysis","author":"A Gelman","year":"2013","unstructured":"Gelman, A., Carlin, J.B., Stern, H.S., Dunson, D.B., Vehtari, A., Rubin, D.B.: Bayesian Data Analysis. CRC Press, Boca Raton (2013)"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Hargitai, V., Shklovski, I., Wasowski, A.: Going beyond obscurity: organizational approaches to data anonymization. PACMHCI 2(CSCW), 66:1\u201366:22 (2018)","DOI":"10.1145\/3274335"},{"issue":"1","key":"21_CR23","first-page":"1593","volume":"15","author":"MD Hoffman","year":"2014","unstructured":"Hoffman, M.D., Gelman, A.: The No-U-Turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo. J. Mach. Learn. Res. 15(1), 1593\u20131623 (2014)","journal-title":"J. Mach. Learn. Res."},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Basin, D.A.: An information-theoretic model for adaptive side-channel attacks. In: CCS 2007, pp. 286\u2013296 (2007)","DOI":"10.1145\/1315245.1315282"},{"key":"21_CR25","doi-asserted-by":"publisher","first-page":"066138","DOI":"10.1103\/PhysRevE.69.066138","volume":"69","author":"A Kraskov","year":"2004","unstructured":"Kraskov, A., St\u00f6gbauer, H., Grassberger, P.: Estimating mutual information. Phys. Rev. E 69, 066138 (2004)","journal-title":"Phys. Rev. E"},{"key":"21_CR26","volume-title":"Doing Bayesian Data Analysis: A Tutorial with R, JAGS, and Stan","author":"J Kruschke","year":"2014","unstructured":"Kruschke, J.: Doing Bayesian Data Analysis: A Tutorial with R, JAGS, and Stan. Academic Press, Cambridge (2014)"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Kucera, M., Tsankov, P., Gehr, T., Guarnieri, M., Vechev, M.T.: Synthesis of probabilistic privacy enforcement. In: CCS 2017, pp. 391\u2013408. ACM (2017)","DOI":"10.1145\/3133956.3134079"},{"issue":"1","key":"21_CR28","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1214\/aoms\/1177729694","volume":"22","author":"S Kullback","year":"1951","unstructured":"Kullback, S., Leibler, R.A.: On information and sufficiency. Ann. Math. Stat. 22(1), 79\u201386 (1951)","journal-title":"Ann. Math. Stat."},{"issue":"1","key":"21_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1217299.1217302","volume":"1","author":"A Machanavajjhala","year":"2007","unstructured":"Machanavajjhala, A., Kifer, D., Gehrke, J., Venkitasubramaniam, M.: L-diversity: privacy beyond k-anonymity. ACM Trans. Knowl. Discov. Data 1(1), 1\u201352 (2007)","journal-title":"ACM Trans. Knowl. Discov. Data"},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"Malacaria, P.: Assessing security threats of looping constructs. In: POPL 2007, pp. 225\u2013235. ACM (2007)","DOI":"10.1145\/1190216.1190251"},{"issue":"4","key":"21_CR31","doi-asserted-by":"publisher","first-page":"463","DOI":"10.3233\/JCS-130469","volume":"21","author":"P Mardziel","year":"2013","unstructured":"Mardziel, P., Magill, S., Hicks, M., Srivatsa, M.: Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation. J. Comput. Secur. 21(4), 463\u2013532 (2013)","journal-title":"J. Comput. Secur."},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Nadon, G., Feilberg, M., Johansen, M., Shklovski, I.: In the user we trust: unrealistic expectations of Facebook\u2019s privacy mechanisms. In: SMSociety 2018 (2018)","DOI":"10.1145\/3217804.3217906"},{"key":"21_CR33","doi-asserted-by":"crossref","unstructured":"Pardo, R., Rafnsson, W., Probst, C., W\u0105sowski, A.: Privug: using probabilistic programming for quantifying leakage in privacy risk analysis. arXiv preprint arXiv:2011.08742 (2021)","DOI":"10.1007\/978-3-030-88428-4_21"},{"key":"21_CR34","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., et al.: Scikit-learn: machine learning in Python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"key":"21_CR35","volume-title":"Practical Probabilistic Programming","author":"A Pfeffer","year":"2016","unstructured":"Pfeffer, A.: Practical Probabilistic Programming. Manning Publications Co., New York (2016)"},{"key":"21_CR36","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: POPL 2002 (2002)","DOI":"10.1145\/503272.503288"},{"key":"21_CR37","unstructured":"R\u00e9nyi, A., et al.: On measures of entropy and information. In: 4th Berkeley Symposium on Mathematical Statistics and Probability (1961)"},{"key":"21_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4145-2","volume-title":"Monte Carlo Statistical Methods","author":"CP Robert","year":"2004","unstructured":"Robert, C.P., Casella, G.: Monte Carlo Statistical Methods. Springer, New York (2004). https:\/\/doi.org\/10.1007\/978-1-4757-4145-2"},{"key":"21_CR39","doi-asserted-by":"crossref","unstructured":"Romanelli, M., Chatzikokolakis, K., Palamidessi, C., Piantanida, P.: Estimating g-leakage via machine learning. In: CCS 2020. ACM (2020)","DOI":"10.1145\/3372297.3423363"},{"key":"21_CR40","doi-asserted-by":"publisher","first-page":"e55","DOI":"10.7717\/peerj-cs.55","volume":"2","author":"J Salvatier","year":"2016","unstructured":"Salvatier, J., Wiecki, T.V., Fonnesbeck, C.: Probabilistic programming in Python using PyMC3. PeerJ Comput. Sci. 2, e55 (2016)","journal-title":"PeerJ Comput. Sci."},{"key":"21_CR41","volume-title":"Density Estimation for Statistics and Data Analysis","author":"BW Silverman","year":"1986","unstructured":"Silverman, B.W.: Density Estimation for Statistics and Data Analysis, vol. 26. CRC Press, Boca Raton (1986)"},{"issue":"5","key":"21_CR42","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1142\/S0218488502001648","volume":"10","author":"L Sweeney","year":"2002","unstructured":"Sweeney, L.: $$k$$-anonymity: a model for protecting privacy. Int. J. Uncertainty Fuzziness Knowl. Based Syst. 10(5), 557\u2013570 (2002)","journal-title":"Int. J. Uncertainty Fuzziness Knowl. Based Syst."},{"key":"21_CR43","doi-asserted-by":"crossref","unstructured":"Tolpin, D., van de Meent, J.-W., Yang, H., Wood, F.D.: Design and implementation of probabilistic programming language Anglican. In: IFL 2016 (2016)","DOI":"10.1145\/3064899.3064910"},{"issue":"9","key":"21_CR44","doi-asserted-by":"publisher","first-page":"3064","DOI":"10.1109\/TIT.2005.853314","volume":"51","author":"Q Wang","year":"2005","unstructured":"Wang, Q., Kulkarni, S.R., Verd\u00fa, S.: Divergence estimation of continuous distributions based on data-dependent partitions. IEEE Trans. Inf. Theory 51(9), 3064\u20133074 (2005)","journal-title":"IEEE Trans. Inf. Theory"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2021"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88428-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:07:45Z","timestamp":1790813265000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88428-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030884277","9783030884284"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88428-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"2 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESORICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Research in Computer Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Darmstadt","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esorics2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/esorics2021.athene-center.de\/index.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"351","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"71","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.07","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.06","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}