{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:43:07Z","timestamp":1743007387039,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030411022"},{"type":"electronic","value":"9783030411039"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-41103-9_10","type":"book-chapter","created":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T10:04:59Z","timestamp":1581674699000},"page":"256-267","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["New Program Abstractions for Privacy"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Hunt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,15]]},"reference":[{"key":"10_CR1","unstructured":"Apple Press Release: Apple previews iOS 10, the biggest iOS release ever (2016). \nhttps:\/\/www.apple.com\/newsroom\/2016\/06\/apple-previews-ios-10-biggest-ios-release-ever\n\n. Accessed 22 July 2017"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings 4th Annual ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"10_CR3","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. POPL 1979, pp. 269\u2013282. ACM, New York (1979). \nhttps:\/\/doi.org\/10.1145\/567752.567778","DOI":"10.1145\/567752.567778"},{"key":"10_CR4","doi-asserted-by":"publisher","unstructured":"Duchi, J.C., Jordan, M.I., Wainwright, M.J.: Local privacy and statistical minimax rates. In: 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1592\u20131592, October 2013. \nhttps:\/\/doi.org\/10.1109\/Allerton.2013.6736718","DOI":"10.1109\/Allerton.2013.6736718"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11787006_1","volume-title":"Automata, Languages and Programming","author":"C Dwork","year":"2006","unstructured":"Dwork, C.: Differential privacy. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol. 4052, pp. 1\u201312. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11787006_1"},{"key":"10_CR6","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). \nhttps:\/\/doi.org\/10.1007\/11681878_14"},{"key":"10_CR7","doi-asserted-by":"publisher","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 Theoret. Comput. Sci. 9, 211\u2013407 (2014). \nhttps:\/\/doi.org\/10.1561\/0400000042","journal-title":"Found. Trends Theoret. Comput. Sci."},{"key":"10_CR8","unstructured":"Ebadi, H.: Dynamic Enforcement of Differential Privacy. Ph.D. thesis, Chalmers University of Technology, March 2018"},{"key":"10_CR9","unstructured":"Ebadi, H.: The PreTPost Framework (2018). \nhttps:\/\/github.com\/ebadi\/preTpost"},{"key":"10_CR10","unstructured":"Ebadi, H., Sands, D.: PreTPost: a transparent, user verifiable, local differential privacy framework (2018). \nhttps:\/\/github.com\/ebadi\/preTpost\n\n. Also appears in [8]"},{"key":"10_CR11","doi-asserted-by":"publisher","unstructured":"Ebadi, H., Sands, D., Schneider, G.: Differential privacy: now it\u2019s getting personal. In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL 2015, pp. 69\u201381. ACM (2015). \nhttps:\/\/doi.org\/10.1145\/2676726.2677005","DOI":"10.1145\/2676726.2677005"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Pihur, V., Korolova, A.: RAPPOR: randomized aggregatable privacy-preserving ordinal response. In: CCS. ACM (2014)","DOI":"10.1145\/2660267.2660348"},{"key":"10_CR13","doi-asserted-by":"publisher","unstructured":"Gaboardi, M., Haeberlen, A., Hsu, J., Narayan, A., Pierce, B.C.: Linear dependent types for differential privacy. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL 2013, pp. 357\u2013370. ACM, New York (2013). \nhttps:\/\/doi.org\/10.1145\/2429069.2429113","DOI":"10.1145\/2429069.2429113"},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"Giacobazzi, R., Ranzato, F.: Optimal domains for disjunctive abstract interpretation. Sci. Comput. Program. 32(1), 177\u2013210 (1998). \nhttps:\/\/doi.org\/10.1016\/S0167-6423(97)00034-8\n\n,\nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642397000348\n\n. 6th European Symposium on Programming","DOI":"10.1016\/S0167-6423(97)00034-8"},{"key":"10_CR15","unstructured":"Haeberlen, A., Pierce, B.C., Narayan, A.: Differential privacy under fire. In: Proceedings of the 20th USENIX Conference on Security. SEC 2011, pp. 33\u201333. USENIX Association, Berkeley (2011). \nhttp:\/\/dl.acm.org\/citation.cfm?id=2028067.2028100"},{"key":"10_CR16","unstructured":"Hunt, S.: Abstract interpretation of functional languages: from theory to practice. Ph.D. thesis, Imperial College London, UK (1991)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Hunt, S., Sands, D.: Binding time analysis: a new perspective. In: Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1991), pp. 154\u2013164. ACM Press (1991)","DOI":"10.1145\/115865.115881"},{"issue":"6","key":"10_CR18","doi-asserted-by":"publisher","first-page":"4037","DOI":"10.1109\/TIT.2017.2685505","volume":"63","author":"P Kairouz","year":"2017","unstructured":"Kairouz, P., Oh, S., Viswanath, P.: The composition theorem for differential privacy. IEEE Trans. Inf. Theory 63(6), 4037\u20134049 (2017)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"17","key":"10_CR19","first-page":"1","volume":"17","author":"P Kairouz","year":"2016","unstructured":"Kairouz, P., Oh, S., Viswanath, P.: Extremal mechanisms for local differential privacy. J. Mach. Learn. Res. 17(17), 1\u201351 (2016). \nhttp:\/\/jmlr.org\/papers\/v17\/15-135.html","journal-title":"J. Mach. Learn. Res."},{"key":"10_CR20","unstructured":"Landauer, J., Redmond, T.: A lattice of information. In: CSFW (1993)"},{"key":"10_CR21","unstructured":"Malacaria, P.: Algebraic foundations for information theoretical, probabilistic an guessability measures of information flow. CoRR abs\/1101.3453 (2011). \nhttp:\/\/arxiv.org\/abs\/1101.3453"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"McSherry, F.: Privacy integrated queries. In: Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data (SIGMOD). Association for Computing Machinery, Inc., June 2009","DOI":"10.1145\/1559845.1559850"},{"issue":"8","key":"10_CR23","doi-asserted-by":"publisher","first-page":"637","DOI":"10.14778\/2732296.2732300","volume":"7","author":"D Proserpio","year":"2014","unstructured":"Proserpio, D., Goldberg, S., McSherry, F.: Calibrating data to sensitivity in private data analysis: a platform for differentially-private analysis of weighted datasets. Proc. VLDB Endow. 7(8), 637\u2013648 (2014). \nhttps:\/\/doi.org\/10.14778\/2732296.2732300","journal-title":"Proc. VLDB Endow."},{"key":"10_CR24","unstructured":"Tang, J., Korolova, A., Bai, X., Wang, X., Wang, X.: Privacy loss in Apple\u2019s implementation of differential privacy on MacOS 10.12. CoRR abs\/1709.02753 (2017). \nhttp:\/\/arxiv.org\/abs\/1709.02753"},{"key":"10_CR25","doi-asserted-by":"publisher","unstructured":"Zhang, D., McKenna, R., Kotsogiannis, I., Hay, M., Machanavajjhala, A., Miklau, G.: EKTELO: a framework for defining differentially-private computations. In: Proceedings of the 2018 International Conference on Management of Data, SIGMOD Conference 2018, Houston, TX, USA, 10\u201315 June 2018, pp. 115\u2013130 (2018). \nhttps:\/\/doi.org\/10.1145\/3183713.3196921","DOI":"10.1145\/3183713.3196921"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Zhang, D., Kifer, D.: LightDP: towards automating differential privacy proofs. In: POPL (2017)","DOI":"10.1145\/3009837.3009884"}],"container-title":["Lecture Notes in Computer Science","From Lambda Calculus to Cybersecurity Through Program Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-41103-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T19:08:28Z","timestamp":1581707308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-41103-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030411022","9783030411039"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-41103-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"15 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}