{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:28:04Z","timestamp":1750746484634,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319681665"},{"type":"electronic","value":"9783319681672"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68167-2_11","type":"book-chapter","created":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T23:50:53Z","timestamp":1506383453000},"page":"156-163","source":"Crossref","is-referenced-by-count":6,"title":["HyLeak: Hybrid Analysis Tool for Information Leakage"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Biondi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yusuke","family":"Kawamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis-Marie","family":"Traonouez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"unstructured":"Biondi, F., Kawamoto, Y., Legay, A., Traonouez, L.-M.: HyLeak: hybrid analysis tool for information leakage (2017). \nhttps:\/\/hal.inria.fr\/hal-01546817","key":"11_CR1"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-35873-9_7","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F Biondi","year":"2013","unstructured":"Biondi, F., Legay, A., Malacaria, P., W\u0105sowski, A.: Quantifying information leakage of randomized protocols. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 68\u201387. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-35873-9_7"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-319-23404-5_17","volume-title":"Model Checking Software","author":"F Biondi","year":"2015","unstructured":"Biondi, F., Legay, A., Quilbeuf, J.: Comparative analysis of leakage tools on scalable case studies. In: Fischer, B., Geldenhuys, J. (eds.) SPIN 2015. LNCS, vol. 9232, pp. 263\u2013281. Springer, Cham (2015). doi:\n10.1007\/978-3-319-23404-5_17"},{"key":"11_CR4","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). doi:\n10.1007\/978-3-642-39799-8_49"},{"unstructured":"Chadha, R., Mathur, U., Schwoon, S.: Computing information flow using symbolic model-checking. In: Proceedings of FSTTCS 2014, pp. 505\u2013516 (2014)","key":"11_CR5"},{"key":"11_CR6","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). doi:\n10.1007\/978-3-642-12002-2_33"},{"key":"11_CR7","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. 8044, pp. 690\u2013695. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-39799-8_47"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-11212-1_13","volume-title":"Computer Security - ESORICS 2014","author":"T Chothia","year":"2014","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C.: LeakWatch: estimating information leakage from java programs. In: Kuty\u0142owski, M., Vaidya, J. (eds.) ESORICS 2014. LNCS, vol. 8713, pp. 219\u2013236. Springer, Cham (2014). doi:\n10.1007\/978-3-319-11212-1_13"},{"doi-asserted-by":"crossref","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C., Parker, D.: Probabilistic point-to-point information leakage. In: Proceedings of CSF 2013, pp. 193\u2013205 (2013)","key":"11_CR9","DOI":"10.1109\/CSF.2013.20"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-319-48989-6_25","volume-title":"FM 2016: Formal Methods","author":"Y Kawamoto","year":"2016","unstructured":"Kawamoto, Y., Biondi, F., Legay, A.: Hybrid statistical estimation of mutual information for quantifying information flow. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 406\u2013425. Springer, Cham (2016). doi:\n10.1007\/978-3-319-48989-6_25"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-319-10696-0_28","volume-title":"Quantitative Evaluation of Systems","author":"Y Kawamoto","year":"2014","unstructured":"Kawamoto, Y., Chatzikokolakis, K., Palamidessi, C.: Compositionality results for quantitative information flow. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 368\u2013383. Springer, Cham (2014). doi:\n10.1007\/978-3-319-10696-0_28"},{"doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Rybalchenko, A.: Approximation and randomization for quantitative information-flow analysis. In: Proceedings of CSF 2010, pp. 3\u201314 (2010)","key":"11_CR12","DOI":"10.1109\/CSF.2010.8"},{"doi-asserted-by":"crossref","unstructured":"Newsome, J., McCamant, S., Song, D.: Measuring channel capacity to distinguish undue influence. In: Chong, S., Naumann, D.A. (eds.) PLAS. ACM (2009)","key":"11_CR13","DOI":"10.1145\/1554339.1554349"},{"key":"11_CR14","volume-title":"The Definitive ANTLR Reference: Building Domain Specific Languages","author":"T Parr","year":"2007","unstructured":"Parr, T.: The Definitive ANTLR Reference: Building Domain Specific Languages. Pragmatic Bookshelf, Raleigh (2007)"},{"doi-asserted-by":"crossref","unstructured":"Phan, Q., Malacaria, P.: Abstract model counting: a novel approach for quantification of information leaks. In: Proceedings of ASIA CCS 2014, pp. 283\u2013292 (2014)","key":"11_CR15","DOI":"10.1145\/2590296.2590328"},{"issue":"6","key":"11_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2382756.2382791","volume":"37","author":"Q Phan","year":"2012","unstructured":"Phan, Q., Malacaria, P., Tkachuk, O., Pasareanu, C.S.: Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. Notes 37(6), 1\u20135 (2012)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"doi-asserted-by":"crossref","unstructured":"Phan, Q.-S., Malacaria, P., P\u0103s\u0103reanu, C.S., D\u2019Amorim, M.: Quantifying information leaks using reliability analysis. In: Proceedings of SPIN 2014, pp. 105\u2013108. ACM (2014)","key":"11_CR17","DOI":"10.1145\/2632362.2632367"},{"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: EuroS&P 2016, pp. 31\u201346 (2016)","key":"11_CR18","DOI":"10.1109\/EuroSP.2016.15"},{"doi-asserted-by":"crossref","unstructured":"Weigl, A.: Efficient SAT-based pre-image enumeration for quantitative information flow in programs. In: Proceedings of QASA 2016, pp. 51\u201358 (2016)","key":"11_CR19","DOI":"10.1007\/978-3-319-47072-6_4"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68167-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:51:06Z","timestamp":1507002666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68167-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319681665","9783319681672"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68167-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}