{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T17:07:08Z","timestamp":1776272828448,"version":"3.50.1"},"publisher-location":"Cham","reference-count":57,"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_8","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T16:25:34Z","timestamp":1776270334000},"page":"153-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Abstract Lipschitz Continuity"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1099-3494","authenticated-orcid":false,"given":"Marco","family":"Campion","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1213-536X","authenticated-orcid":false,"given":"Isabella","family":"Mastroeni","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9475-4836","authenticated-orcid":false,"given":"Michele","family":"Pasqua","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8127-9642","authenticated-orcid":false,"given":"Caterina","family":"Urban","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,4,15]]},"reference":[{"key":"8_CR1","unstructured":"Kumail Alhamoud, Hasan Abed Al\u00a0Kader Hammoud, Motasem Alfarra, and Bernard Ghanem. Generalizability of adversarial robustness under distribution shifts. Trans. Mach. Learn. Res., 2023, 2023. URL: https:\/\/openreview.net\/forum?id=XNFo3dQiCJ."},{"issue":"4\u20135","key":"8_CR2","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1017\/S0960129523000166","volume":"33","author":"F Bonchi","year":"2023","unstructured":"Filippo Bonchi, Barbara K\u00f6nig, and Daniela Petrisan. Up-to techniques for behavioural metrics via fibrations. Math. Struct. Comput. Sci., 33(4-5):182\u2013221, 2023. https:\/\/doi.org\/10.1017\/S0960129523000166","journal-title":"Math. Struct. Comput. Sci."},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Roberto Bruni, Roberto Giacobazzi, Roberta Gori, and Francesco Ranzato. A logic for locally complete abstract interpretations. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pages 1\u201313. IEEE, 2021. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470608","DOI":"10.1109\/LICS52264.2021.9470608"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Roberto Bruni, Roberto Giacobazzi, Roberta Gori, and Francesco Ranzato. A correctness and incorrectness program logic. J. ACM, 70(2):15:1\u201315:45, 2023. https:\/\/doi.org\/10.1145\/3582267.","DOI":"10.1145\/3582267"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Marco Campion, Mila Dalla Preda, and Roberto Giacobazzi. Partial (in)completeness in abstract interpretation: limiting the imprecision in program analysis. Proc. ACM Program. Lang., 6(POPL):1\u201331, 2022. https:\/\/doi.org\/10.1145\/3498721.","DOI":"10.1145\/3498721"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, and Caterina Urban. Monotonicity and the precision of program analysis. Proc. ACM Program. Lang., 8(POPL):1629\u20131662, 2024. https:\/\/doi.org\/10.1145\/3632897.","DOI":"10.1145\/3632897"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Marco Campion, Mila Dalla\u00a0Preda, Roberto Giacobazzi, and Caterina Urban. A logic for the imprecision of abstract interpretations. Proc. ACM Program. Lang., 10(POPL), 2026. https:\/\/doi.org\/10.1145\/3776707.","DOI":"10.1145\/3776707"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Marco Campion, Isabella Mastroeni, and Caterina Urban. Relating distances and abstractions - an abstract interpretation perspective. In Hakjoo Oh and Yulei Sui, editors, Static Analysis - 32nd International Symposium, SAS 2025, Singapore, October 13-14, 2025, Proceedings, volume 16100 of Lecture Notes in Computer Science, pages 249\u2013277. Springer, 2025. https:\/\/doi.org\/10.1007\/978-3-032-07106-4_11.","DOI":"10.1007\/978-3-032-07106-4_11"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Marco Campion, Caterina Urban, Mila Dalla\u00a0Preda, and Roberto Giacobazzi. A formal framework to measure the incompleteness of abstract interpretations. In Manuel\u00a0V. Hermenegildo and Jos\u00e9\u00a0F. Morales, editors, Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings, volume 14284 of Lecture Notes in Computer Science, pages 114\u2013138. Springer, 2023. https:\/\/doi.org\/10.1007\/978-3-031-44245-2_7.","DOI":"10.1007\/978-3-031-44245-2_7"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Swarat Chaudhuri, Sumit Gulwani, and Roberto Lublinerman. Continuity Analysis of Programs. In Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201910, page 57\u201370, New York, NY, USA, 2010. Association for Computing Machinery.https:\/\/doi.org\/10.1145\/1706299.1706308.","DOI":"10.1145\/1706299.1706308"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Swarat Chaudhuri, Sumit Gulwani, and Roberto Lublinerman. Continuity and Robustness of Programs. 55(8):107\u2013115, 2012. https:\/\/doi.org\/10.1145\/2240236.2240262.","DOI":"10.1145\/2240236.2240262"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, and Sara NavidPour. Proving Programs Robust. In Tibor Gyim\u00f3thy and Andreas Zeller, editors, SIGSOFT\/FSE\u201911 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC\u201911: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, pages 102\u2013112. ACM, 2011. https:\/\/doi.org\/10.1145\/2025113.2025131.","DOI":"10.1145\/2025113.2025131"},{"key":"8_CR13","unstructured":"Patrick Cousot. Principles of Abstract Interpretation. The MIT Press, Cambridge, Mass., 2021."},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Robert\u00a0M. Graham, Michael\u00a0A. Harrison, and Ravi Sethi, editors, Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pages 238\u2013252. ACM, 1977. https:\/\/doi.org\/10.1145\/512950.512973.","DOI":"10.1145\/512950.512973"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Patrick Cousot and Radhia Cousot. Systematic design of program analysis frameworks. In Alfred\u00a0V. Aho, Stephen\u00a0N. Zilles, and Barry\u00a0K. Rosen, editors, Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pages 269\u2013282. ACM Press, 1979. https:\/\/doi.org\/10.1145\/567752.567778.","DOI":"10.1145\/567752.567778"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Patrick Cousot and Radhia Cousot. An abstract interpretation-based framework for software watermarking. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201904, pages 173\u2013185, New York, NY, USA, 2004. Association for Computing Machinery. https:\/\/doi.org\/10.1145\/964001.964016.","DOI":"10.1145\/964001.964016"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Pedro\u00a0R. D\u2019Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, and Holger Hermanns. Is your software on dope? - formal analysis of surreptitiously \"enhanced\" programs. In Hongseok Yang, editor, Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, volume 10201 of Lecture Notes in Computer Science, pages 83\u2013110. Springer, 2017. https:\/\/doi.org\/10.1007\/978-3-662-54434-1_4.","DOI":"10.1007\/978-3-662-54434-1_4"},{"key":"8_CR18","doi-asserted-by":"publisher","unstructured":"Arthur\u00a0Azevedo de\u00a0Amorim, Marco Gaboardi, Justin Hsu, and Shin-ya Katsumata. Probabilistic relational reasoning via metrics. In 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pages 1\u201319. IEEE, 2019. https:\/\/doi.org\/10.1109\/LICS.2019.8785715.","DOI":"10.1109\/LICS.2019.8785715"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Cynthia Dwork, Krishnaram Kenthapadi, Frank McSherry, Ilya Mironov, and Moni Naor. Our data, ourselves: privacy via distributed noise generation. In Proceedings of the 24th Annual International Conference on The Theory and Applications of Cryptographic Techniques, EUROCRYPT\u201906, pages 486\u2013503, Berlin, Heidelberg, 2006. Springer-Verlag. https:\/\/doi.org\/10.1007\/11761679_29.","DOI":"10.1007\/11761679_29"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Cynthia Dwork, Frank McSherry, Kobbi Nissim, and Adam Smith. Calibrating noise to sensitivity in private data analysis. In Shai Halevi and Tal Rabin, editors, Theory of Cryptography, pages 265\u2013284, Berlin, Heidelberg, 2006. Springer Berlin Heidelberg.","DOI":"10.1007\/11681878_14"},{"key":"8_CR21","unstructured":"Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, and George\u00a0J. Pappas. Efficient and accurate estimation of lipschitz constants for deep neural networks. In Hanna\u00a0M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d\u2019Alch\u00e9-Buc, Emily\u00a0B. Fox, and Roman Garnett, editors, Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada, pages 11423\u201311434, 2019. URL: https:\/\/proceedings.neurips.cc\/paper\/2019\/hash\/95e1533eb1b20a97777749fb94fdb944-Abstract.html."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"R.\u00a0Giacobazzi and I.\u00a0Mastroeni. Adjoining classified and unclassified information by abstract interpretation. Journal of Computer Security, 18(5):751 \u2013 797, 2010.","DOI":"10.3233\/JCS-2009-0382"},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Roberto Giacobazzi, Francesco Logozzo, and Francesco Ranzato. Analyzing program analyses. In Sriram\u00a0K. Rajamani and David Walker, editors, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pages 261\u2013273. ACM, 2015.https:\/\/doi.org\/10.1145\/2676726.2676987.","DOI":"10.1145\/2676726.2676987"},{"key":"8_CR24","doi-asserted-by":"publisher","unstructured":"Roberto Giacobazzi and Isabella Mastroeni. Abstract non-interference: parameterizing non-interference by abstract interpretation. In Neil\u00a0D. Jones and Xavier Leroy, editors, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pages 186\u2013197. ACM, 2004. https:\/\/doi.org\/10.1145\/964001.964017.","DOI":"10.1145\/964001.964017"},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"Roberto Giacobazzi and Isabella Mastroeni. Abstract non-interference: A unifying framework for weakening information-flow. ACM Trans. Priv. Secur., 21(2):9:1\u20139:31, 2018. https:\/\/doi.org\/10.1145\/3175660.","DOI":"10.1145\/3175660"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Roberto Giacobazzi, Isabella Mastroeni, and Elia Perantoni. Adversities in abstract interpretation - accommodating robustness by abstract interpretation. ACM Trans. Program. Lang. Syst., 46(2):1\u201331, 2024. https:\/\/doi.org\/10.1145\/3649309.","DOI":"10.1145\/3649309"},{"key":"8_CR27","doi-asserted-by":"publisher","unstructured":"Roberto Giacobazzi, Francesco Ranzato, and Francesca Scozzari. Making abstract interpretations complete. J. ACM, 47(2):361\u2013416, 2000. https:\/\/doi.org\/10.1145\/333979.333989.","DOI":"10.1145\/333979.333989"},{"key":"8_CR28","doi-asserted-by":"publisher","unstructured":"Joseph\u00a0A. Goguen and Jos\u00e9 Meseguer. Security policies and security models. In 1982 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 26-28, 1982, pages 11\u201320. IEEE Computer Society, 1982. https:\/\/doi.org\/10.1109\/SP.1982.10014.","DOI":"10.1109\/SP.1982.10014"},{"key":"8_CR29","unstructured":"Branko Gr\u00fcnbaum, Victor Klee, Micha\u00a0A Perles, and Geoffrey\u00a0Colin Shephard. Convex polytopes, volume\u00a016. Springer, 1967."},{"key":"8_CR30","unstructured":"Yujia Huang, Huan Zhang, Yuanyuan Shi, J.\u00a0Zico Kolter, and Anima Anandkumar. Training certifiably robust neural networks with efficient local lipschitz bounds. In Marc\u2019Aurelio Ranzato, Alina Beygelzimer, Yann\u00a0N. Dauphin, Percy Liang, and Jennifer\u00a0Wortman Vaughan, editors, Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual, pages 22745\u201322757, 2021. URL: https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/c055dcc749c2632fd4dd806301f05ba6-Abstract.html."},{"key":"8_CR31","unstructured":"Ziwei Ji and Matus Telgarsky. Directional convergence and alignment in deep learning. In Hugo Larochelle, Marc\u2019Aurelio Ranzato, Raia Hadsell, Maria-Florina Balcan, and Hsuan-Tien Lin, editors, Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual, 2020. URL: https:\/\/proceedings.neurips.cc\/paper\/2020\/hash\/c76e4b2fa54f8506719a5c0dc14c2eb9-Abstract.html."},{"key":"8_CR32","unstructured":"Lin Li, Yifei Wang, Chawin Sitawarin, and Michael\u00a0W. Spratling. Oodrobustbench: a benchmark and large-scale analysis of adversarial robustness under distribution shift. In Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024. OpenReview.net, 2024. URL: https:\/\/openreview.net\/forum?id=kAFevjEYsz."},{"key":"8_CR33","doi-asserted-by":"publisher","unstructured":"Dennis Liew, Tiago Cogumbreiro, and Julien Lange. Sound and partially-complete static analysis of data-races in GPU programs. Proc. ACM Program. Lang., 8(OOPSLA2):2434\u20132461, 2024. https:\/\/doi.org\/10.1145\/3689797.","DOI":"10.1145\/3689797"},{"key":"8_CR34","unstructured":"Francesco Logozzo. Towards a quantitative estimation of abstract interpretations. In Workshop on Quantitative Analysis of Software. Microsoft, June 2009. URL: https:\/\/www.microsoft.com\/en-us\/research\/publication\/towards-a-quantitative-estimation-of-abstract-interpretations\/."},{"key":"8_CR35","unstructured":"Ulrike\u00a0von Luxburg and Olivier Bousquet. Distance-based classification with lipschitz functions. Journal of Machine Learning Research, 5(Jun):669\u2013695, 2004."},{"key":"8_CR36","doi-asserted-by":"publisher","unstructured":"Luca Marzari, Isabella Mastroeni, and Alessandro Farinelli. Advancing neural network verification through hierarchical safety abstract interpretation. CoRR, abs\/2505.05235, 2025. URL: https:\/\/doi.org\/10.48550\/arXiv.2505.05235, http:\/\/arxiv.org\/abs\/2505.05235arXiv:2505.05235, https:\/\/doi.org\/10.48550\/ARXIV.2505.05235.","DOI":"10.48550\/ARXIV.2505.05235"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"I.\u00a0Mastroeni. On the r\u00f4le of abstract non-interference in language-based security. In K.\u00a0Yi, editor, Third Asian Symp. on Programming Languages and Systems (APLAS\u00a0\u201905), volume 3780 of Lecture Notes in Computer Science, pages 418\u2013433. Springer-Verlag, 2005.","DOI":"10.1007\/11575467_27"},{"key":"8_CR38","doi-asserted-by":"publisher","unstructured":"Isabella Mastroeni. Abstract domain adequacy. Int. J. Softw. Tools Technol. Transf., 26(6):747\u2013765, 2024. URL: https:\/\/doi.org\/10.1007\/s10009-024-00774-x, https:\/\/doi.org\/10.1007\/S10009-024-00774-X.","DOI":"10.1007\/S10009-024-00774-X"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"Isabella Mastroeni. Abstract local completeness. In Krishna Shankaranarayanan, Sriram Sankaranarayanan, and Ashutosh Trivedi, editors, Verification, Model Checking, and Abstract Interpretation, pages 3\u201325, Cham, 2025. Springer Nature Switzerland.","DOI":"10.1007\/978-3-031-82703-7_1"},{"key":"8_CR40","doi-asserted-by":"publisher","unstructured":"Isabella Mastroeni and Michele Pasqua. Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. In Chih-Cheng Hung and George\u00a0A. Papadopoulos, editors, Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing, SAC 2019, pages 2215\u20132223. ACM, 2019. https:\/\/doi.org\/10.1145\/3297280.3297498.","DOI":"10.1145\/3297280.3297498"},{"key":"8_CR41","doi-asserted-by":"publisher","unstructured":"Isabella Mastroeni and Michele Pasqua. Domain precision in galois connection-less abstract interpretation. In Manuel\u00a0V. Hermenegildo and Jos\u00e9\u00a0F. Morales, editors, Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings, volume 14284 of Lecture Notes in Computer Science, pages 434\u2013459. Springer, 2023. https:\/\/doi.org\/10.1007\/978-3-031-44245-2_19.","DOI":"10.1007\/978-3-031-44245-2_19"},{"key":"8_CR42","doi-asserted-by":"publisher","unstructured":"Isabella Mastroeni and Michele Pasqua. Abstract interpretation-based verification for confidentiality: Information hiding and code protection by abstract interpretation. ACM Trans. on Privacy and Security, pages 1\u201328, 2025. https:\/\/doi.org\/10.1145\/3786347.","DOI":"10.1145\/3786347"},{"key":"8_CR43","doi-asserted-by":"publisher","unstructured":"Denis Mazzucato, Marco Campion, and Caterina Urban. Quantitative input usage static analysis. In Nathaniel Benz, Divya Gopinath, and Nija Shi, editors, NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings, volume 14627 of Lecture Notes in Computer Science, pages 79\u201398. Springer, 2024. https:\/\/doi.org\/10.1007\/978-3-031-60698-4_5.","DOI":"10.1007\/978-3-031-60698-4_5"},{"key":"8_CR44","doi-asserted-by":"publisher","unstructured":"Denis Mazzucato, Marco Campion, and Caterina Urban. Quantitative static timing analysis. In Roberto Giacobazzi and Alessandra Gorla, editors, Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings, volume 14995 of Lecture Notes in Computer Science, pages 268\u2013299. Springer, 2024. https:\/\/doi.org\/10.1007\/978-3-031-74776-2_11.","DOI":"10.1007\/978-3-031-74776-2_11"},{"key":"8_CR45","unstructured":"Vinod Nair and Geoffrey\u00a0E. Hinton. Rectified linear units improve restricted boltzmann machines. In Johannes F\u00fcrnkranz and Thorsten Joachims, editors, Proceedings of the 27th International Conference on Machine Learning (ICML-10), June 21-24, 2010, Haifa, Israel, pages 807\u2013814. Omnipress, 2010. URL: https:\/\/icml.cc\/Conferences\/2010\/papers\/432.pdf."},{"key":"8_CR46","doi-asserted-by":"publisher","unstructured":"Yurii Nesterov. Lectures on Convex Optimization. Springer Publishing Company, Incorporated, 2nd edition, 2018. https:\/\/doi.org\/10.1007\/978-3-319-91578-4.","DOI":"10.1007\/978-3-319-91578-4"},{"key":"8_CR47","doi-asserted-by":"publisher","unstructured":"Peter\u00a0W. O\u2019Hearn. Incorrectness logic. Proc. ACM Program. Lang., 4(POPL):10:1\u201310:32, 2020. https:\/\/doi.org\/10.1145\/3371078.","DOI":"10.1145\/3371078"},{"key":"8_CR48","doi-asserted-by":"publisher","unstructured":"Alessandra\u00a0Di Pierro, Chris Hankin, and Herbert Wiklicky. Approximate non-interference. J. Comput. Secur., 12(1):37\u201382, 2004. https:\/\/doi.org\/10.3233\/JCS-2004-12103.","DOI":"10.3233\/JCS-2004-12103"},{"key":"8_CR49","doi-asserted-by":"publisher","unstructured":"Alessandra\u00a0Di Pierro and Herbert Wiklicky. Measuring the precision of abstract interpretations. In Kung-Kiu Lau, editor, Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers, volume 2042 of Lecture Notes in Computer Science, pages 147\u2013164. Springer, 2000. https:\/\/doi.org\/10.1007\/3-540-45142-0_9.","DOI":"10.1007\/3-540-45142-0_9"},{"key":"8_CR50","doi-asserted-by":"crossref","unstructured":"Damien Pous. Complete lattices and up-to techniques. In Proceedings of the 5th Asian Conference on Programming Languages and Systems, APLAS\u201907, pages 351\u2013366, Berlin, Heidelberg, 2007. Springer-Verlag.","DOI":"10.1007\/978-3-540-76637-7_24"},{"key":"8_CR51","doi-asserted-by":"publisher","unstructured":"Jason Reed and Benjamin\u00a0C. Pierce. Distance makes the types grow stronger: a calculus for differential privacy. SIGPLAN Not., 45(9):157\u2013168, September 2010. https:\/\/doi.org\/10.1145\/1932681.1863568.","DOI":"10.1145\/1932681.1863568"},{"key":"8_CR52","unstructured":"Xavier Rival and Kwangkeun Yi. Introduction to static analysis: an abstract interpretation perspective. Mit Press, 2020."},{"key":"8_CR53","doi-asserted-by":"publisher","unstructured":"Daniel Schoepe and Andrei Sabelfeld. Understanding and enforcing opacity. In 2015 IEEE 28th Computer Security Foundations Symposium, pages 539\u2013553, 2015. https:\/\/doi.org\/10.1109\/CSF.2015.41.","DOI":"10.1109\/CSF.2015.41"},{"key":"8_CR54","unstructured":"Pascal Sotin. Quantifying the Precision of Numerical Abstract Domains. Research report, February 2010. URL: https:\/\/inria.hal.science\/inria-00457324."},{"key":"8_CR55","doi-asserted-by":"publisher","unstructured":"Caterina Urban and Peter M\u00fcller. An abstract interpretation framework for input data usage. In Amal Ahmed, editor, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, volume 10801 of Lecture Notes in Computer Science, pages 683\u2013710. Springer, 2018. https:\/\/doi.org\/10.1007\/978-3-319-89884-1_24.","DOI":"10.1007\/978-3-319-89884-1_24"},{"key":"8_CR56","unstructured":"Bohang Zhang, Du\u00a0Jiang, Di\u00a0He, and Liwei Wang. Rethinking lipschitz neural networks and certified robustness: A boolean function perspective. In Sanmi Koyejo, S.\u00a0Mohamed, A.\u00a0Agarwal, Danielle Belgrave, K.\u00a0Cho, and A.\u00a0Oh, editors, Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022, 2022. URL: http:\/\/papers.nips.cc\/paper_files\/paper\/2022\/hash\/7b04ec5f2b89d7f601382c422dfe07af-Abstract-Conference.html."},{"key":"8_CR57","doi-asserted-by":"crossref","unstructured":"Bohang Zhang, Du\u00a0Jiang, Di\u00a0He, and Liwei Wang. Rethinking lipschitz neural networks and certified robustness: A boolean function perspective. In S.\u00a0Koyejo, S.\u00a0Mohamed, A.\u00a0Agarwal, D.\u00a0Belgrave, K.\u00a0Cho, and A.\u00a0Oh, editors, Advances in Neural Information Processing Systems, volume\u00a035, pages 19398\u201319413. Curran Associates, Inc., 2022. URL: https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2022\/file\/7b04ec5f2b89d7f601382c422dfe07af-Paper-Conference.pdf.","DOI":"10.52202\/068431-1410"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T16:25:39Z","timestamp":1776270339000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22730-0_8"}},"subtitle":["Combining Semantic and Quantitative Approximations"],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227294","9783032227300"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22730-0_8","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"}}]}}