{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T11:41:36Z","timestamp":1782992496625,"version":"3.54.5"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319584683","type":"print"},{"value":"9783319584690","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58469-0_30","type":"book-chapter","created":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T11:34:53Z","timestamp":1493811293000},"page":"442-456","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Data Minimisation: A Language-Based Approach"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0670-3439","authenticated-orcid":false,"given":"Thibaud","family":"Antignac","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6221-0503","authenticated-orcid":false,"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0629-6853","authenticated-orcid":false,"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,5,4]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Antignac, T., Sands, D., Schneider, G.: Data minimisation: a language-based approach (long version) (2016). eprint arXiv:1611.05642","DOI":"10.1007\/978-3-319-58469-0_30"},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/s10270-004-0058-x","volume":"4","author":"W Ahrendt","year":"2005","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Soft. Sys. Model. 4, 32\u201354 (2005)","journal-title":"Soft. Sys. Model."},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Anciaux, N., Nguyen, B., Vazirgiannis, M.: Limiting data collection in application forms: a real-case application of a founding privacy principle. In: PST (2012)","DOI":"10.1109\/PST.2012.6297920"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Gradual release: unifying declassification, encryption and key release policies. In: Proceedings IEEE Symposium on Security and Privacy (2007)","DOI":"10.1109\/SP.2007.22"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Askarov, A., Chong, S.: Learning is change in knowledge: knowledge-based security for dynamic policies. In: IEEE Conferences on CSF (2012)","DOI":"10.1109\/CSF.2012.31"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Backes, M., Kopf, B., Rybalchenko, A.: Automatic discovery and quantification of information leaks. In: IEEE Security and Privacy (2009)","DOI":"10.1109\/SP.2009.18"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Balliu, M., Dam, M., Le Guernic, G.: Epistemic temporal logic for information flow security. In: PLAS (2011)","DOI":"10.1145\/2166956.2166962"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Bussard, L.: Encyclopedia of cryptography and security. In: Secondary Use Regulations (2011)","DOI":"10.1007\/978-1-4419-5906-5_765"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Chong, S.: Required information release. In: IEEE Conferences on CSF (2010)","DOI":"10.1109\/CSF.2010.22"},{"issue":"5","key":"30_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1067625.806556","volume":"11","author":"E Cohen","year":"1977","unstructured":"Cohen, E.: Information transmission in computational systems. SIGOPS Oper. Syst. Rev. 11(5), 133\u2013139 (1977). ACM Conferences","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"2","key":"30_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Redlog: computer algebra meets computer logic. SIGSAM Bull. 31(2), 2\u20139 (1997). ACM Conferences","journal-title":"SIGSAM Bull."},{"key":"30_CR12","unstructured":"European Commission: General Data Protection Regulation. Codecision legislative procedure for a regulation 2012\/0011"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: Predicate abstraction for software verification. In: POPL (2002)","DOI":"10.1145\/503272.503291"},{"key":"30_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BFb0000474","volume-title":"Algebraic Methodology and Software Technology","author":"R Giacobazzi","year":"1997","unstructured":"Giacobazzi, R., Ranzato, F.: Completeness in abstract interpretation: a domain perspective. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol. 1349, pp. 231\u2013245. Springer, Heidelberg (1997). doi:10.1007\/BFb0000474"},{"key":"30_CR15","unstructured":"Gurses, S., Troncoso, C., Diaz, C.: Engineering privacy by design reloaded. In: Amsterdam Privacy Conference (2015)"},{"key":"30_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-319-11164-3_21","volume-title":"Runtime Verification","author":"M Hentschel","year":"2014","unstructured":"Hentschel, M., Bubel, R., H\u00e4hnle, R.: Symbolic Execution Debugger (SED). In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 255\u2013262. Springer, Cham (2014). doi:10.1007\/978-3-319-11164-3_21"},{"issue":"7","key":"30_CR17","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. CACM 19(7), 385\u2013394 (1976)","journal-title":"CACM"},{"key":"30_CR18","unstructured":"Landauer, J., Redmond, T.: A lattice of information. In: IEEE Conferences CSFW (1993)"},{"key":"30_CR19","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: a Java Modeling Language. In: Formal Underpinnings of Java Workshop (1998)"},{"key":"30_CR20","unstructured":"Lowe, G.: Quantifying information flow. In: IEEE Conferences on CSFW (2002)"},{"key":"30_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1007\/978-3-319-47166-2_63","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"P Malacaria","year":"2016","unstructured":"Malacaria, P., Tautchning, M., DiStefano, D.: Information leakage analysis of complex C Code and its application to OpenSSL. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 909\u2013925. Springer, Cham (2016). doi:10.1007\/978-3-319-47166-2_63"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Mastroeni, I., Zanardini, D.: Data dependencies and program slicing: from syntax to abstract semantics. In: PEPM (2008)","DOI":"10.1145\/1328408.1328428"},{"key":"30_CR23","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 Moura","year":"2008","unstructured":"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). doi:10.1007\/978-3-540-78800-3_24"},{"key":"30_CR24","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1215\/S0012-7094-42-00942-6","volume":"9","author":"O Oystein","year":"1942","unstructured":"Oystein, O.: Theory of equivalence relations. Duke Math. J. 9, 573\u2013627 (1942)","journal-title":"Duke Math. J."},{"key":"30_CR25","unstructured":"Richardson, D.J., Clarke, L.A.: A partition analysis method to increase program reliability. In: ICSE (1981)"},{"issue":"1","key":"30_CR26","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1011553200337","volume":"14","author":"A Sabelfeld","year":"2001","unstructured":"Sabelfeld, A., Sands, D.: A per model of secure information flow in sequential programs. Higher-Order Symbolic Comput. 14(1), 59\u201391 (2001). Springer Publication","journal-title":"Higher-Order Symbolic Comput."},{"key":"30_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-00596-1_21","volume-title":"Foundations of Software Science and Computational Structures","author":"G Smith","year":"2009","unstructured":"Smith, G.: On the foundations of quantitative information flow. In: Alfaro, L. (ed.) FoSSaCS 2009. LNCS, vol. 5504, pp. 288\u2013302. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-00596-1_21"},{"key":"30_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-05089-3_1","volume-title":"FM 2009: Formal Methods","author":"MC Tschantz","year":"2009","unstructured":"Tschantz, M.C., Wing, J.M.: Formal methods for privacy. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 1\u201315. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-05089-3_1"},{"key":"30_CR29","doi-asserted-by":"crossref","unstructured":"Val, C.G., Enescu, M.A., Bayless, S., Aiello, W., Hu, A.J.: Precisely measuring quantitative information flow: 10k lines of code and beyond. In: IEEE Conferences on EuroS&P (2016)","DOI":"10.1109\/EuroSP.2016.15"}],"container-title":["IFIP Advances in Information and Communication Technology","ICT Systems Security and Privacy Protection"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58469-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,22]],"date-time":"2021-05-22T00:08:01Z","timestamp":1621642081000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-58469-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319584683","9783319584690"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58469-0_30","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"4 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on ICT Systems Security and Privacy Protection","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","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":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 May 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 May 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sec2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ifipsec.org\/2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}