{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T14:32:00Z","timestamp":1790519520412,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CENIIT","award":["SRIS17123"],"award-info":[{"award-number":["SRIS17123"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,29]]},"DOI":"10.1145\/3127041.3127044","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T08:34:00Z","timestamp":1506501240000},"page":"25-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Quantifying the information leak in cache attacks via symbolic execution"],"prefix":"10.1145","author":[{"given":"Sudipta","family":"Chattopadhyay","sequence":"first","affiliation":[{"name":"Singapore University of Technology and Design"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Moritz","family":"Beck","sequence":"additional","affiliation":[{"name":"Saarland University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ahmed","family":"Rezine","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Zeller","sequence":"additional","affiliation":[{"name":"Saarland University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/github.com\/openssl\/openssl\/tree\/master\/crypto","author":"Library SSL","year":"1999","unstructured":"1999. Open SSL Library . ( 1999 ). https:\/\/github.com\/openssl\/openssl\/tree\/master\/crypto . 1999. OpenSSL Library. (1999). https:\/\/github.com\/openssl\/openssl\/tree\/master\/crypto."},{"key":"e_1_3_2_1_2_1","unstructured":"2002. UC Davis Mathematics. Latte integrale. (2002). https:\/\/www.math.ucdavis.edu\/~latte\/.  2002. UC Davis Mathematics. Latte integrale. (2002). https:\/\/www.math.ucdavis.edu\/~latte\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2008. KLEE LLVM Execution Engine. (2008). https:\/\/klee.github.io\/.  2008. KLEE LLVM Execution Engine. (2008). https:\/\/klee.github.io\/."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/github.com\/B-Con\/crypto-algorithms","author":"Implementation AES","year":"2012","unstructured":"2012. AES Implementation . ( 2012 ). https:\/\/github.com\/B-Con\/crypto-algorithms . 2012. AES Implementation. (2012). https:\/\/github.com\/B-Con\/crypto-algorithms."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11935308_9"},{"key":"e_1_3_2_1_6_1","unstructured":"Jos\u00e9 Bacelar Almeida Manuel Barbosa Gilles Barthe Fran\u00e7ois Dupressoir and Michael Emmi. 2016. Verifying Constant-Time Implementations. In USENIX. 53--70.  Jos\u00e9 Bacelar Almeida Manuel Barbosa Gilles Barthe Fran\u00e7ois Dupressoir and Michael Emmi. 2016. Verifying Constant-Time Implementations. In USENIX . 53--70."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.982917"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.18"},{"key":"e_1_3_2_1_9_1","volume-title":"The oracle problem in software testing: A survey","author":"Barr Earl T","year":"2015","unstructured":"Earl T Barr , Mark Harman , Phil McMinn , Muzammil Shahbaz , and Shin Yoo . 2015. The oracle problem in software testing: A survey . IEEE transactions on software engineering 41, 5 ( 2015 ), 507--525. Earl T Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo. 2015. The oracle problem in software testing: A survey. IEEE transactions on software engineering 41, 5 (2015), 507--525."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660283"},{"key":"e_1_3_2_1_11_1","volume-title":"Testing Cache Side-Channel Leakage. In ICST Workshops. 51--60","author":"Basu Tiyash","year":"2017","unstructured":"Tiyash Basu and Sudipta Chattopadhyay . 2017 . Testing Cache Side-Channel Leakage. In ICST Workshops. 51--60 . Tiyash Basu and Sudipta Chattopadhyay. 2017. Testing Cache Side-Channel Leakage. In ICST Workshops. 51--60."},{"key":"e_1_3_2_1_12_1","unstructured":"Daniel J Bernstein. 2005. Cache-timing attacks on AES. (2005).  Daniel J Bernstein. 2005. Cache-timing attacks on AES. (2005)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993607"},{"key":"e_1_3_2_1_14_1","volume-title":"Pasareanu","author":"Borges Mateus","year":"2017","unstructured":"Mateus Borges , Quoc-Sang Phan , Antonio Filieri , and Corina S . Pasareanu . 2017 . Model-Counting Approaches for Nonlinear Numerical Constraints. In NFM. 131--138. Mateus Borges, Quoc-Sang Phan, Antonio Filieri, and Corina S. Pasareanu. 2017. Model-Counting Approaches for Nonlinear Numerical Constraints. In NFM. 131--138."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10366-7_39"},{"key":"e_1_3_2_1_16_1","volume-title":"Vardi","author":"Chakraborty Supratik","year":"2016","unstructured":"Supratik Chakraborty , Kuldeep S. Meel , and Moshe Y . Vardi . 2016 . Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. In IJCAI. 3569--3576. Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi. 2016. Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. In IJCAI. 3569--3576."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_3"},{"key":"e_1_3_2_1_18_1","volume-title":"Quantifying the Information Leak in Cache Attacks through Symbolic Execution. CoRR abs\/1611.04426","author":"Chattopadhyay Sudipta","year":"2016","unstructured":"Sudipta Chattopadhyay , Moritz Beck , Ahmed Rezine , and Andreas Zeller . 2016. Quantifying the Information Leak in Cache Attacks through Symbolic Execution. CoRR abs\/1611.04426 ( 2016 ). http:\/\/arxiv.org\/abs\/1611.04426 Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, and Andreas Zeller. 2016. Quantifying the Information Leak in Cache Attacks through Symbolic Execution. CoRR abs\/1611.04426 (2016). http:\/\/arxiv.org\/abs\/1611.04426"},{"key":"e_1_3_2_1_19_1","volume-title":"Thomas","author":"Cover Thomas M.","year":"2006","unstructured":"Thomas M. Cover and Joy A . Thomas . 2006 . Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing). Thomas M. Cover and Joy A. Thomas. 2006. Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Stephen Crane Andrei Homescu Stefan Brunthaler Per Larsen and Michael Franz. 2015. Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity.. In NDSS.  Stephen Crane Andrei Homescu Stefan Brunthaler Per Larsen and Michael Franz. 2015. Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity.. In NDSS .","DOI":"10.14722\/ndss.2015.23264"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"John Demme Robert Martin Adam Waksman and Simha Sethumadhavan. 2012. Side-channel vulnerability factor: A metric for measuring information leakage. In ISCA. 106--117.   John Demme Robert Martin Adam Waksman and Simha Sethumadhavan. 2012. Side-channel vulnerability factor: A metric for measuring information leakage. In ISCA . 106--117.","DOI":"10.1145\/2366231.2337172"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2756550"},{"key":"e_1_3_2_1_23_1","unstructured":"Qian Ge Yuval Yarom David Cock and Gernot Heiser. 2016. A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware. In Cryptology ePrint Archive. https:\/\/eprint.iacr.org\/2016\/613.pdf\/.  Qian Ge Yuval Yarom David Cock and Gernot Heiser. 2016. A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware. In Cryptology ePrint Archive. https:\/\/eprint.iacr.org\/2016\/613.pdf\/."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_25_1","unstructured":"Daniel Gruss Raphael Spreitzer and Stefan Mangard. 2015. Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches. In USENIX Security.   Daniel Gruss Raphael Spreitzer and Stefan Mangard. 2015. Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches. In USENIX Security ."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.22"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315282"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_40"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Corina S. Pasareanu Quoc-Sang Phan and Pasquale Malacaria. 2016. Multi-run side-channel analysis using Symbolic Execution and Max-SMT. In CSF. 387--400.  Corina S. Pasareanu Quoc-Sang Phan and Pasquale Malacaria. 2016. Multi-run side-channel analysis using Symbolic Execution and Max-SMT. In CSF . 387--400.","DOI":"10.1109\/CSF.2016.34"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-009-9049-y"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250723"}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","location":"Vienna Austria","acronym":"MEMOCODE '17","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127044","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:11:06Z","timestamp":1750198266000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":31,"alternative-id":["10.1145\/3127041.3127044","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3127044","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}