{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:27Z","timestamp":1740099147840,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319991535"},{"type":"electronic","value":"9783319991542"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99154-2_1","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:14:35Z","timestamp":1534256075000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the Additive Capacity Problem for Quantitative Information Flow"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3081-5775","authenticated-orcid":false,"given":"Konstantinos","family":"Chatzikokolakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., Smith, G.: Additive and multiplicative notions of leakage, and their capacities. In: Proceedings of CSF, pp. 308\u2013322. IEEE (2014)","DOI":"10.1109\/CSF.2014.29"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., Smith, G.: Axioms for information leakage. In: Proceedings of CSF, pp. 77\u201392 (2016)","DOI":"10.1109\/CSF.2016.13"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Chatzikokolakis, K., Palamidessi, C., Smith, G.: Measuring information leakage using generalized gain functions. In: Proceedings of CSF, pp. 265\u2013279 (2012)","DOI":"10.1109\/CSF.2012.26"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Antonopoulos, T., Gazzillo, P., Hicks, M., Koskinen, E., Terauchi, T., Wei, S.: Decomposition instead of self-composition for proving the absence of timing channels. In: PLDI, pp. 362\u2013375. ACM (2017)","DOI":"10.1145\/3062341.3062378"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Backes, M., K\u00f6pf, B., Rybalchenko, A.: Automatic discovery and quantification of information leaks. In: Proceedings of S&P, pp. 141\u2013153 (2009)","DOI":"10.1109\/SP.2009.18"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Barthe, G., K\u00f6pf, B.: Information-theoretic bounds for differentially private mechanisms. In: Proceedings of CSF, pp. 191\u2013204 (2011)","DOI":"10.1109\/CSF.2011.20"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-68167-2_11","volume-title":"Automated Technology for Verification and Analysis","author":"F Biondi","year":"2017","unstructured":"Biondi, F., Kawamoto, Y., Legay, A., Traonouez, L.-M.: HyLeak: hybrid analysis tool for information leakage. In: D\u2019Souza, D., Narayan Kumar, K. (eds.) ATVA 2017. LNCS, vol. 10482, pp. 156\u2013163. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68167-2_11"},{"key":"1_CR8","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., W\u0105sowski, 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":"1_CR9","doi-asserted-by":"crossref","unstructured":"Braun, C., Chatzikokolakis, K., Palamidessi, C.: Quantitative notions of leakage for one-try attacks. In: Proceedings of MFPS, ENTCS, vol. 249, pp. 75\u201391. Elsevier (2009)","DOI":"10.1016\/j.entcs.2009.07.085"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-12002-2_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Chatzikokolakis","year":"2010","unstructured":"Chatzikokolakis, K., Chothia, T., Guha, A.: Statistical measurement of information leakage. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 390\u2013404. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12002-2_33"},{"issue":"5","key":"1_CR11","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. Comp. Secur. 16(5), 531\u2013571 (2008)","journal-title":"J. Comp. Secur."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Clarkson, M.R., Schneider, F.B.: Quantification of integrity. In: Proceedings of CSF, pp. 28\u201343 (2010)","DOI":"10.1109\/CSF.2010.10"},{"key":"1_CR13","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, Hoboken (2006)","edition":"2"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Doychev, G., K\u00f6pf, B.: Rigorous analysis of software countermeasures against cache attacks. In: PLDI, pp. 406\u2013421. ACM (2017)","DOI":"10.1145\/3140587.3062388"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Heusser, J., Malacaria, P.: Quantifying information leaks in software. In: Proceedings ACSAC 2010, pp. 261\u2013269 (2010)","DOI":"10.1145\/1920261.1920300"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Khouzani, M.H.R., Malacaria, P.: Relative perfect secrecy: universally optimal strategies and channel design. In: Proceedings of CSF, pp. 61\u201376 (2016)","DOI":"10.1109\/CSF.2016.12"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Basin, D.: An information-theoretic model for adaptive side-channel attacks. In: Proceedings of CCS, pp. 286\u2013296 (2007)","DOI":"10.1145\/1315245.1315282"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1007\/978-3-642-31424-7_40","volume-title":"Computer Aided Verification","author":"B K\u00f6pf","year":"2012","unstructured":"K\u00f6pf, B., Mauborgne, L., Ochoa, M.: Automatic quantification of cache side-channels. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 564\u2013580. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_40"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Rybalchenko, A.: Approximation and randomization for quantitative information-flow analysis. In: Proceedings of CSF, pp. 3\u201314 (2010)","DOI":"10.1109\/CSF.2010.8"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Smith, G.: Vulnerability bounds and leakage resilience of blinded cryptography under timing attacks. In: Proceedings of CSF, pp. 44\u201356 (2010)","DOI":"10.1109\/CSF.2010.11"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Malacaria, P.: Assessing security threats of looping constructs. In: Proceedings of POPL, pp. 225\u2013235 (2007)","DOI":"10.1145\/1190216.1190251"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-14162-1_19","volume-title":"Automata, Languages and Programming","author":"A McIver","year":"2010","unstructured":"McIver, A., Meinicke, L., Morgan, C.: Compositional closure for bayes risk in probabilistic noninterference. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 223\u2013235. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14162-1_19"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Meng, Z., Smith, G.: Calculating bounds on information leakage using two-bit patterns. In: Proceedings of PLAS, pp. 1:1\u20131:12 (2011)","DOI":"10.1145\/2166956.2166957"},{"key":"1_CR24","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: de Alfaro, L. (ed.) FoSSaCS 2009. LNCS, vol. 5504, pp. 288\u2013302. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00596-1_21"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-89722-6_1","volume-title":"Principles of Security and Trust","author":"I Sweet","year":"2018","unstructured":"Sweet, I., Trilla, J.M.C., Scherrer, C., Hicks, M., Magill, S.: What\u2019s the over\/under? Probabilistic bounds on information leakage. In: Bauer, L., K\u00fcsters, R. (eds.) POST 2018. LNCS, vol. 10804, pp. 3\u201327. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89722-6_1"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Villani, C.: Topics in Optimal Transportation. No. 58, American Mathematical Society (2003)","DOI":"10.1090\/gsm\/058"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Yasuoka, H., Terauchi, T.: Quantitative information flow \u2013 verification hardness and possibilities. In: Proceedings of CSF, pp. 15\u201327 (2010)","DOI":"10.1109\/CSF.2010.9"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99154-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T05:06:40Z","timestamp":1571720800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99154-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319991535","9783319991542"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99154-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}