{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T16:52:32Z","timestamp":1787935952142,"version":"build-2784847793"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227294","type":"print"},{"value":"9783032227300","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-22730-0_22","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T16:23:57Z","timestamp":1776270237000},"page":"462-483","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Composition Theorems for f-Differential Privacy"],"prefix":"10.1007","author":[{"given":"Natasha","family":"Fernandes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Annabelle","family":"McIver","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Parastoo","family":"Sadeghi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,15]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"M.\u00a0Alvim, K.\u00a0Chatzikokolakis, A.K. McIver, C.C. Morgan, G.S. Smith, and C.\u00a0Palamidessi. The Science of Quantitative Information Flow. Information Security and Cryptography. 2020.","DOI":"10.1007\/978-3-319-96131-6"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"M.\u00a0S. Alvim, K.\u00a0Chatzikokolakis, C.\u00a0Palamidessi, and G.S. Smith. Measuring information leakage using generalized gain functions. In Proc. 25th IEEE Computer Security Foundations Symposium (CSF 2012), pages 265\u2013279, June 2012.","DOI":"10.1109\/CSF.2012.26"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"M\u00e1rio\u00a0S. Alvim, Miguel\u00a0E. Andr\u00e9s, Konstantinos Chatzikokolakis, Pierpaolo Degano, and Catuscia Palamidessi. On the information leakage of differentially-private mechanisms. Journal of Computer Security, 23(4):427\u2013469, 2015.","DOI":"10.3233\/JCS-150528"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"M\u00e1rio\u00a0S. Alvim, Miguel\u00a0E. Andr\u00e9s, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. On the relation between differential privacy and quantitative information flow. In Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II, pages 60\u201376, 2011.","DOI":"10.1007\/978-3-642-22012-8_4"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Jordan Awan and Salil Vadhan. Canonical noise distributions and private hypothesis tests, 2023.","DOI":"10.1214\/23-AOS2259"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Borja Balle, Gilles Barthe, and Marco Gaboardi. Privacy profiles and amplification by subsampling. 10, Jan. 2020.","DOI":"10.29012\/jpc.726"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Gilles Barthe, Marco Gaboardi, Emilio\u00a0Jesus Gallego\u00a0Arias, Justin Hsu, Cesar Kunz, and Pierre-Yves Strub. Proving Differential Privacy in Hoare Logic . In 2014 IEEE 27th Computer Security Foundations Symposium (CSF), pages 411\u2013424. IEEE Computer Society, 2014.","DOI":"10.1109\/CSF.2014.36"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Gilles Barthe, Marco Gaboardi, Benjamin Gr\u00e9goire, Justin Hsu, and Pierre-Yves Strub. Proving differential privacy via probabilistic couplings. LICS \u201916, pages 749\u2013758. Association for Computing Machinery, 2016.","DOI":"10.1145\/2933575.2934554"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Gilles Barthe, Boris K\u00f6pf, Federico Olmedo, and Santiago Zanella-B\u00e9guelin. Probabilistic relational reasoning for differential privacy. ACM Trans. Program. Lang. Syst., 35(3), November 2013.","DOI":"10.1145\/2492061"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"David Blackwell. Equivalent comparisons of experiments. The Annals of Mathematical Statistics, 24(2):265\u2013272, 1953.","DOI":"10.1214\/aoms\/1177729032"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantitative analysis of the leakage of confidential data. Electr. Notes Theor. Comput. Sci., 59(3):238\u2013251, 2001.","DOI":"10.1016\/S1571-0661(04)00290-7"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"David Clark, Sebastian Hunt, and Pasquale Malacaria. A static analysis for quantifying information flow in a simple imperative language. J. Comput. Secur., 15(3):321\u2013371, 2007.","DOI":"10.3233\/JCS-2007-15302"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Jinshuo Dong, Aaron Roth, and Weijie\u00a0J. Su. Gaussian differential privacy. Journal of the Royal Statistical Society Series B: Statistical Methodology, 84(1):3\u201337, 02 2022.","DOI":"10.1111\/rssb.12454"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Cynthia Dwork. Differential privacy. In Proc. 33rd International Colloquium on Automata, Languages, and Programming (ICALP 2006), pages 1\u201312, 2006.","DOI":"10.1007\/11787006_1"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Natasha Fernandes, Annabelle McIver, and Carroll Morgan. The laplace mechanism has optimal utility for differential privacy over continuous queries. In Proceedings of the 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS \u201921. IEEE Press, 2021.","DOI":"10.1109\/LICS52264.2021.9470718"},{"key":"22_CR16","unstructured":"Natasha Fernandes, Annabelle McIver, and Parastoo Sadeghi. Composition theorems for f-differential privacy, 2025. arXiv:2512.21358 [cs.CR]."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers. Quantitative Information Flow with Monads in Haskell, pages 391\u2013448. Cambridge University Press, 2020.","DOI":"10.1017\/9781108770750.013"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Neyman Jerzy and Pearson\u00a0Egon Sharpe. On the problem of the most efficient tests of statistical hypotheses. Philosophical Transactions of the Royal Society of London, 1933.","DOI":"10.1098\/rsta.1933.0009"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Yingyu Lin, Erchi Wang, Yi-An Ma, and Yu-Xiang Wang. Purifying approximate differential privacy with randomized post-processing, 2025.","DOI":"10.1007\/978-3-031-95140-4_4"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"P.\u00a0Malacaria. Risk assessment of security threats for looping constructs. Journal of Computer Security, 18(2):191\u2013228, 2010.","DOI":"10.3233\/JCS-2010-0360"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Annabelle McIver, Larissa Meinicke, and Carroll Morgan. Compositional closure for Bayes Risk in probabilistic noninterference. In Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II, volume 6199 of ICALP\u201910, pages 223\u2013235, Berlin, Heidelberg, 2010.","DOI":"10.1007\/978-3-642-14162-1_19"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Annabelle McIver and Carroll Morgan. Proving that programs are differentially private. In Anthony\u00a0Widjaja Lin, editor, Programming Languages and Systems, pages 3\u201318, Cham, 2019. Springer International Publishing.","DOI":"10.1007\/978-3-030-34175-6_1"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Annabelle McIver, Carroll Morgan, and Tahiry Rabehaja. Abstract Hidden Markov Models: a monadic account of quantitative information flow. In Proc. LiCS 2015, 2015.","DOI":"10.1109\/LICS.2015.61"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Ilya Mironov. R\u00e9nyi Differential Privacy . In 2017 IEEE 30th Computer Security Foundations Symposium (CSF), pages 263\u2013275. IEEE Computer Society, 2017.","DOI":"10.1109\/CSF.2017.11"},{"key":"22_CR25","unstructured":"Milad Nasr, Jamie Hayes, Thomas Steinke, Borja Balle, Florian Tram\u00e8r, Matthew Jagielski, Nicholas Carlini, and Andreas Terzis. Tight auditing of differentially private machine learning. In Proceedings of the 32nd USENIX Conference on Security Symposium, SEC \u201923, USA, 2023. USENIX Association."},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Geoffrey Smith. On the foundations of quantitative information flow. In Luca de\u00a0Alfaro, editor, Proc. 12th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS \u201909), volume 5504 of Lecture Notes in Computer Science, pages 288\u2013302, 2009.","DOI":"10.1007\/978-3-642-00596-1_21"},{"key":"22_CR27","unstructured":"Thomas Steinke. Composition of differential privacy & privacy amplification by subsampling, 2022."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Weijie\u00a0J. Su. A statistical viewpoint on differential privacy: Hypothesis testing, representation, and blackwell\u2019s theorem. Annual Review of Statistics and Its Application, 12(Volume 12, 2025):157\u2013175, 2025.","DOI":"10.1146\/annurev-statistics-112723-034158"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Latanya Sweeney. k-anonymity: a model for protecting privacy. Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 10(5):557\u2013570, October 2002.","DOI":"10.1142\/S0218488502001648"},{"key":"22_CR30","unstructured":"Yu-Xiang Wang, Borja Balle, and Shiva\u00a0Prasad Kasiviswanathan. Subsampled renyi differential privacy and analytical moments accountant. In Kamalika Chaudhuri and Masashi Sugiyama, editors, Proceedings of the Twenty-Second International Conference on Artificial Intelligence and Statistics, volume\u00a089 of Proceedings of Machine Learning Research, pages 1226\u20131235. PMLR, 16\u201318 Apr 2019."},{"key":"22_CR31","doi-asserted-by":"crossref","unstructured":"Danfeng Zhang and Daniel Kifer. Lightdp: towards automating differential privacy proofs. SIGPLAN Not., 52(1):888\u2013901, January 2017.","DOI":"10.1145\/3093333.3009884"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22730-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T23:49:37Z","timestamp":1782949777000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22730-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227294","9783032227300"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22730-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"15 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2026\/conferences\/fossacs\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}