{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:18:29Z","timestamp":1745986709062,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358722"},{"type":"electronic","value":"9783642358739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35873-9_7","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:22:57Z","timestamp":1357107777000},"page":"68-87","source":"Crossref","is-referenced-by-count":14,"title":["Quantifying Information Leakage of Randomized Protocols"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Biondi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pasquale","family":"Malacaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Malacaria, P.: Algebraic foundations for information theoretical, probabilistic and guessability measures of information flow. CoRR abs\/1101.3453 (2011)"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"321","DOI":"10.3233\/JCS-2007-15302","volume":"15","author":"D. Clark","year":"2007","unstructured":"Clark, D., Hunt, S., Malacaria, P.: A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security\u00a015, 321\u2013371 (2007)","journal-title":"Journal of Computer Security"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Heusser, J., Malacaria, P.: Quantifying information leaks in software. In: Gates, C., Franz, M., McDermott, J.P. (eds.) ACSAC, pp. 261\u2013269. ACM (2010)","DOI":"10.1145\/1920261.1920300"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.ic.2007.07.003","volume":"206","author":"K. Chatzikokolakis","year":"2008","unstructured":"Chatzikokolakis, K., Palamidessi, C., Panangaden, P.: Anonymity protocols as noisy channels. Inf. Comput.\u00a0206, 378\u2013401 (2008)","journal-title":"Inf. Comput."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Chen, H., Malacaria, P.: Quantifying maximal loss of anonymity in protocols. In: Li, W., Susilo, W., Tupakula, U.K., Safavi-Naini, R., Varadharajan, V. (eds.) ASIACCS, pp. 206\u2013217. ACM (2009)","DOI":"10.1145\/1533057.1533087"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Smith, G.: Vulnerability bounds and leakage resilience of blinded cryptography under timing attacks. In: CSF, pp. 44\u201356. IEEE Computer Society (2010)","DOI":"10.1109\/CSF.2010.11"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Basin, D.A.: An information-theoretic model for adaptive side-channel attacks. In: Ning, P., di Vimercati, S.D.C., Syverson, P.F. (eds.) ACM Conference on Computer and Communications Security, pp. 286\u2013296. ACM (2007)","DOI":"10.1145\/1315245.1315282"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Millen, J.K.: Covert channel capacity. In: IEEE Symposium on Security and Privacy, pp. 60\u201366 (1987)","DOI":"10.1109\/SP.1987.10013"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/293411.293443","volume":"42","author":"D.M. Goldschlag","year":"1999","unstructured":"Goldschlag, D.M., Reed, M.G., Syverson, P.F.: Onion routing. Commun. ACM\u00a042, 39\u201341 (1999)","journal-title":"Commun. ACM"},{"key":"7_CR10","first-page":"183","volume-title":"Proceedings of the 2005 IEEE Symposium on Security and Privacy, SP 2005","author":"S.J. Murdoch","year":"2005","unstructured":"Murdoch, S.J., Danezis, G.: Low-cost traffic analysis of tor. In: Proceedings of the 2005 IEEE Symposium on Security and Privacy, SP 2005, pp. 183\u2013195. IEEE Computer Society, Washington, DC (2005)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-75551-7_12","volume-title":"Privacy Enhancing Technologies","author":"T.G. Abbott","year":"2007","unstructured":"Abbott, T.G., Lai, K.J., Lieberman, M.R., Price, E.C.: Browser-Based Attacks on Tor. In: Borisov, N., Golle, P. (eds.) PET 2007. LNCS, vol.\u00a04776, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"key":"7_CR12","doi-asserted-by":"publisher","DOI":"10.1002\/0471200611","volume-title":"Elements of information theory","author":"T. Cover","year":"1991","unstructured":"Cover, T., Thomas, J.: Elements of information theory. Wiley, New York (1991)"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"C.E. Shannon","year":"1948","unstructured":"Shannon, C.E.: A mathematical theory of communication. The Bell System Technical Journal\u00a027, 379\u2013423 (1948)","journal-title":"The Bell System Technical Journal"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Biondi, F., Legay, A., Nielsen, B.F., W\u0105sowski, A.: Maximizing entropy over markov processes (2012) (under review), http:\/\/www.itu.dk\/people\/fbio\/maxent.pdf","DOI":"10.1007\/978-3-642-37064-9_13"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Landauer, J., Redmond, T.: A lattice of information. In: CSFW, pp. 65\u201370 (1993)","DOI":"10.1109\/CSFW.1993.246638"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Winskel, G.: The formal semantics of programming languages - an introduction. Foundation of computing series. MIT Press (1993)","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-2010-0360","volume":"18","author":"P. Malacaria","year":"2010","unstructured":"Malacaria, P.: Risk assessment of security threats for looping constructs. Journal of Computer Security\u00a018, 191\u2013228 (2010)","journal-title":"Journal of Computer Security"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Malacaria, P., Chen, H.: Lagrange multipliers and maximum information leakage in different observational models. In: Erlingsson, \u00c3., Pistoia, M. (eds.) PLAS, pp. 135\u2013146. ACM (2008)","DOI":"10.1145\/1375696.1375713"},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/JCS-2011-0433","volume":"20","author":"M.S. Alvim","year":"2012","unstructured":"Alvim, M.S., Andr\u00e9s, M.E., Palamidessi, C.: Quantitative information flow in interactive systems. Journal of Computer Security\u00a020, 3\u201350 (2012)","journal-title":"Journal of Computer Security"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-14496-7_15","volume-title":"Information Theoretic Security","author":"H. Chen","year":"2010","unstructured":"Chen, H., Malacaria, P.: The Optimum Leakage Principle for Analyzing Multi-threaded Programs. In: Kurosawa, K. (ed.) ICITS 2009. LNCS, vol.\u00a05973, pp. 177\u2013193. Springer, Heidelberg (2010)"},{"key":"7_CR21","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.\u00a07358, pp. 564\u2013580. Springer, Heidelberg (2012)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Chatzikokolakis, K., Palamidessi, C., Smith, G.: Measuring information leakage using generalized gain functions. In: CSF (2012)","DOI":"10.1109\/CSF.2012.26"},{"key":"7_CR23","doi-asserted-by":"crossref","first-page":"855","DOI":"10.3233\/JCS-2009-0345","volume":"17","author":"M.D. Preda","year":"2009","unstructured":"Preda, M.D., Giacobazzi, R.: Semantics-based code obfuscation by abstract interpretation. Journal of Computer Security\u00a017, 855\u2013908 (2009)","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35873-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:52Z","timestamp":1745940832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35873-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358722","9783642358739"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35873-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}