{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:37Z","timestamp":1763468197034,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319112114"},{"type":"electronic","value":"9783319112121"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11212-1_13","type":"book-chapter","created":{"date-parts":[[2014,8,14]],"date-time":"2014-08-14T16:36:45Z","timestamp":1408034205000},"page":"219-236","source":"Crossref","is-referenced-by-count":36,"title":["LeakWatch: Estimating Information Leakage from Java Programs"],"prefix":"10.1007","author":[{"given":"Tom","family":"Chothia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yusuke","family":"Kawamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Novakovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"publisher","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. Bell System Technical Journal\u00a027(3), 379\u2013423 (1948)","journal-title":"Bell System Technical Journal"},{"key":"13_CR2","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.\u00a05504, pp. 288\u2013302. Springer, Heidelberg (2009)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Smith, G.: Quantifying Information Flow Using Min-Entropy. In: Proc. of the 8th Conference on Quantitative Evaluation of Systems (QEST 2011), pp. 159\u2013167 (2011)","DOI":"10.1109\/QEST.2011.31"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C., Parker, D.: Probabilistic Point-to-Point Information Leakage. In: Proc. of the 26th IEEE Computer Security Foundations Symposium (CSF 2013), pp. 193\u2013205. IEEE Computer Society (June 2013)","DOI":"10.1109\/CSF.2013.20"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/0165-1684(89)90132-1","volume":"16","author":"R. Moddemeijer","year":"1989","unstructured":"Moddemeijer, R.: On estimation of entropy and mutual information of continuous distributions. Signal Processing\u00a016, 233\u2013248 (1989)","journal-title":"Signal Processing"},{"issue":"6","key":"13_CR6","first-page":"163","volume":"18","author":"D.R. Brillinger","year":"2004","unstructured":"Brillinger, D.R.: Some data analysis using mutual information. Brazilian Journal of Probability and Statistics\u00a018(6), 163\u2013183 (2004)","journal-title":"Brazilian Journal of Probability and Statistics"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Boreale, M., Paolini, M.: On formally bounding information leakage by statistical estimation (2014) (Unpublished Manuscript)","DOI":"10.1007\/978-3-319-13257-0_13"},{"key":"13_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.\u00a08044, pp. 702\u2013707. Springer, Heidelberg (2013)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Mu, C., Clark, D.: A tool: quantitative analyser for programs. In: Proc.of the 8th Conference on Quantitative Evaluation of Systems (QEST 2011), pp. 145\u2013146 (2011)","DOI":"10.1109\/QEST.2011.25"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"McCamant, S., Ernst, M.D.: Quantitative Information Flow as Network Flow Capacity. In: Proc. of the Conference on Programming Language Design and Implementation (PLDI 2008), pp. 193\u2013205 (2008)","DOI":"10.1145\/1375581.1375606"},{"key":"13_CR11","first-page":"261","volume-title":"Proc. of the 2010 Annual Computer Security Applications Conference (ACSAC 2010)","author":"J. Heusser","year":"2010","unstructured":"Heusser, J., Malacaria, P.: Quantifying Information Leaks in Software. In: Proc. of the 2010 Annual Computer Security Applications Conference (ACSAC 2010), pp. 261\u2013269. ACM Press, Austin (2010)"},{"issue":"6","key":"13_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2382756.2382791","volume":"37","author":"Q.S. Phan","year":"2012","unstructured":"Phan, Q.S., Malacaria, P., Tkachuk, O., P\u0103s\u0103reanu, C.S.: Symbolic quantitative information flow. ACM SIGSOFT Software Engineering Notes\u00a037(6), 1\u20135 (2012)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"13_CR13","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C.: LeakWatch, \n                  \n                    http:\/\/www.cs.bham.ac.uk\/research\/projects\/infotools\/leakwatch\/"},{"key":"13_CR14","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.\u00a06015, pp. 390\u2013404. Springer, Heidelberg (2010)"},{"key":"13_CR15","unstructured":"Denning, D.E.: Cryptography and Data Security. Addison-Wesley (May 1982)"},{"key":"13_CR16","first-page":"186","volume-title":"Proc. of the 1998 IEEE Symposium on Security and Privacy","author":"A.C. Myers","year":"1998","unstructured":"Myers, A.C., Liskov, B.: Complete, Safe Information Flow with Decentralized Labels. In: Proc. of the 1998 IEEE Symposium on Security and Privacy, pp. 186\u2013197. IEEE Computer Society, Oakland (1998)"},{"issue":"302","key":"13_CR17","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1080\/14786440009463897","volume":"50","author":"K. Pearson","year":"1900","unstructured":"Pearson, K.: X. on the criterion that a given system of deviations from the probable in the case of a correlated system of variables is such that it can be reasonably supposed to have arisen from random sampling. Philosophical Magazine Series 5\u00a050(302), 157\u2013175 (1900)","journal-title":"Philosophical Magazine Series 5"},{"key":"13_CR18","unstructured":"Diez, D.M., Barr, C.D., Cetinkaya-Rundel, M.: OpenIntro Statistics. CreateSpace (2012)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-642-39799-8_47","volume-title":"Computer Aided Verification","author":"T. Chothia","year":"2013","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C.: A Tool for Estimating Information Leakage. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol.\u00a08044, pp. 690\u2013695. Springer, Heidelberg (2013)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Kawamoto, Y., Chatzikokolakis, K., Palamidessi, C.: Compositionality Results for Quantitative Information Flow. In: Proc. of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014 (to appear, September 2014)","DOI":"10.1007\/978-3-319-10696-0_28"},{"key":"13_CR21","unstructured":"OW2 Consortium: ASM, \n                  \n                    http:\/\/asm.ow2.org"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Chaum, D.: The Dining Cryptographers Problem: Unconditional Sender and Recipient Untraceability. Journal of Cryptology, 65\u201375 (1988)","DOI":"10.1007\/BF00206326"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Garcia, F.D., van Rossum, P., Verdult, R., Schreur, R.W.: Wirelessly pickpocketing a Mifare Classic card. In: IEEE Symposium on Security and Privacy (S&P 2009), pp. 3\u201315. IEEE (2009)","DOI":"10.1109\/SP.2009.6"},{"key":"13_CR24","unstructured":"Verdult, R., Garcia, F.D., Balasch, J.: Gone in 360 seconds: Hijacking with Hitag2. In: 21st USENIX Security Symposium (USENIX Security 2012), pp. 237\u2013252. USENIX Association (2012)"},{"key":"13_CR25","unstructured":"Callas, J., Donnerhacke, L., Finney, H., Shaw, D., Thayer, R.: OpenPGP Message Format, \n                  \n                    http:\/\/tools.ietf.org\/html\/rfc4880"},{"key":"13_CR26","unstructured":"Legion of the Bouncy Castle Inc.: The Legion of the Bouncy Castle Java Cryptography APIs, \n                  \n                    https:\/\/www.bouncycastle.org\/java.html"}],"container-title":["Lecture Notes in Computer Science","Computer Security - ESORICS 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11212-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T20:05:23Z","timestamp":1569182723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11212-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319112114","9783319112121"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11212-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}