{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T01:56:09Z","timestamp":1778291769601,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T00:00:00Z","timestamp":1543795200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,12,3]]},"DOI":"10.1145\/3274694.3274741","type":"proceedings-article","created":{"date-parts":[[2018,12,4]],"date-time":"2018-12-04T13:07:01Z","timestamp":1543928821000},"page":"161-173","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["MicroWalk"],"prefix":"10.1145","author":[{"given":"Jan","family":"Wichelmann","sequence":"first","affiliation":[{"name":"Universit\u00e4t zu L\u00fcbeck, L\u00fcbeck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmad","family":"Moghimi","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute, Worcester, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Eisenbarth","sequence":"additional","affiliation":[{"name":"Universit\u00e4t zu L\u00fcbeck & WPI, L\u00fcbeck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Berk","family":"Sunar","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute, Worcester, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,12,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1881511.1881522"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229285.1266999"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11967668_15"},{"key":"e_1_3_2_1_4_1","volume-title":"Verifying Constant-Time Implementations. In 25th USENIX Security Symposium (USENIX Security 16)","author":"Almeida Jose Bacelar","year":"2016","unstructured":"Jose Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Fran\u00e7ois Dupressoir , and Michael Emmi . 2016 . Verifying Constant-Time Implementations. In 25th USENIX Security Symposium (USENIX Security 16) . USENIX Association, Austin, TX, 53--70. Jose Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Fran\u00e7ois Dupressoir, and Michael Emmi. 2016. Verifying Constant-Time Implementations. In 25th USENIX Security Symposium (USENIX Security 16). USENIX Association, Austin, TX, 53--70."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.10.008"},{"key":"e_1_3_2_1_6_1","volume-title":"25th USENIX Security Symposium (USENIX Security 16)","author":"Andriesse Dennis","unstructured":"Dennis Andriesse , Xi Chen , Victor van der Veen, Asia Slowinska, and Herbert Bos. 2016. An In-Depth Analysis of Disassembly on Full-Scale x86\/x64 Binaries . In 25th USENIX Security Symposium (USENIX Security 16) . USENIX Association, Austin, TX, 583--600. Dennis Andriesse, Xi Chen, Victor van der Veen, Asia Slowinska, and Herbert Bos. 2016. An In-Depth Analysis of Disassembly on Full-Scale x86\/x64 Binaries. In 25th USENIX Security Symposium (USENIX Security 16). USENIX Association, Austin, TX, 583--600."},{"key":"e_1_3_2_1_7_1","volume-title":"d.}. Cortex-M3 Technical Reference Manual","author":"ARM.","year":"2018","unstructured":"ARM. {n. d.}. Cortex-M3 Technical Reference Manual . Chapter 18.4. Accessed : 2018 --02-27. ARM. {n. d.}. Cortex-M3 Technical Reference Manual. Chapter 18.4. Accessed: 2018--02-27."},{"key":"e_1_3_2_1_8_1","volume-title":"2012 2nd International Conference on Consumer Electronics, Communications and Networks (CECNet). 1294--1297","author":"Bai L.","unstructured":"L. Bai , Y. Zhang , and G. Yang . 2012. SM2 cryptographic algorithm based on discrete logarithm problem and prospect . In 2012 2nd International Conference on Consumer Electronics, Communications and Networks (CECNet). 1294--1297 . L. Bai, Y. Zhang, and G. Yang. 2012. SM2 cryptographic algorithm based on discrete logarithm problem and prospect. In 2012 2nd International Conference on Consumer Electronics, Communications and Networks (CECNet). 1294--1297."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660283"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.219"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.48"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44709-3_5"},{"key":"e_1_3_2_1_13_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_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66402-6_16"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646763.706320"},{"key":"e_1_3_2_1_16_1","volume-title":"Vale: Verifying High-Performance Cryptographic Assembly Code. In 26th USENIX Security Symposium (USENIX Security 17)","author":"Bond Barry","year":"2017","unstructured":"Barry Bond , Chris Hawblitzel , Manos Kapritsos , K. Rustan M. Leino , Jacob R. Lorch , Bryan Parno , Ashay Rane , Srinath Setty , and Laure Thompson . 2017 . Vale: Verifying High-Performance Cryptographic Assembly Code. In 26th USENIX Security Symposium (USENIX Security 17) . USENIX Association, Vancouver, BC, 917--934. Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath Setty, and Laure Thompson. 2017. Vale: Verifying High-Performance Cryptographic Assembly Code. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 917--934."},{"key":"e_1_3_2_1_17_1","volume-title":"RSA Conference 2006 session DEV-203","author":"Brickell Ernie","year":"2006","unstructured":"Ernie Brickell , Gary Graunke , and Jean-Pierre Seifert . 2006 . Mitigating cache\/timing based side-channels in AES and RSA software implementations . In RSA Conference 2006 session DEV-203 . RSA. Ernie Brickell, Gary Graunke, and Jean-Pierre Seifert. 2006. Mitigating cache\/timing based side-channels in AES and RSA software implementations. In RSA Conference 2006 session DEV-203. RSA."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3176258.3176320"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 12th Conference on USENIX Security Symposium -","volume":"12","author":"Brumley David","year":"2003","unstructured":"David Brumley and Dan Boneh . 2003 . Remote Timing Attacks Are Practical . In Proceedings of the 12th Conference on USENIX Security Symposium - Volume 12 (SSYM'03). USENIX Association, Berkeley, CA, USA, 1--1. David Brumley and Dan Boneh. 2003. Remote Timing Attacks Are Practical. In Proceedings of the 12th Conference on USENIX Security Symposium - Volume 12 (SSYM'03). USENIX Association, Berkeley, CA, USA, 1--1."},{"key":"e_1_3_2_1_20_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Bulck Jo Van","year":"2017","unstructured":"Jo Van Bulck , Nico Weichbrodt , R\u00fcdiger Kapitza , Frank Piessens , and Raoul Strackx . 2017 . Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution . In 26th USENIX Security Symposium (USENIX Security 17) . USENIX Association, Vancouver, BC, 1041--1056. Jo Van Bulck, Nico Weichbrodt, R\u00fcdiger Kapitza, Frank Piessens, and Raoul Strackx. 2017. Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 1041--1056."},{"key":"e_1_3_2_1_21_1","volume-title":"Constant-Time Programming Language","author":"Cauligi Sunjay","year":"2017","unstructured":"Sunjay Cauligi , Gary Soeller , Fraser Brown , Brian Johannesmeyer , Yunlu Huang , Ranjit Jhala , and Deian Stefan . 2017. FaCT : A Flexible , Constant-Time Programming Language . In IEEE Cybersecurity Development, Sec Dev 2017 , Cambridge, MA, USA, September 24--26, 2017. 69--76. Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, and Deian Stefan. 2017. FaCT: A Flexible, Constant-Time Programming Language. In IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, September 24--26, 2017. 69--76."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127044"},{"key":"e_1_3_2_1_23_1","volume-title":"Financial Cryptography","author":"Coron Jean-S\u00e9basticn","unstructured":"Jean-S\u00e9basticn Coron , Paul Kocher , and David Naccache . 2001. Statistics and Secret Leakage . In Financial Cryptography . Springer , Berlin, Heidelberg , 157--173. Jean-S\u00e9basticn Coron, Paul Kocher, and David Naccache. 2001. Statistics and Secret Leakage. In Financial Cryptography. Springer, Berlin, Heidelberg, 157--173."},{"key":"e_1_3_2_1_24_1","volume-title":"Sanctum: Minimal Hardware Extensions for Strong Software Isolation. In 25th USENIX Security Symposium (USENIX Security 16)","author":"Costan Victor","year":"2016","unstructured":"Victor Costan , Ilia Lebedev , and Srinivas Devadas . 2016 . Sanctum: Minimal Hardware Extensions for Strong Software Isolation. In 25th USENIX Security Symposium (USENIX Security 16) . USENIX Association, Austin, TX, 857--874. Victor Costan, Ilia Lebedev, and Srinivas Devadas. 2016. Sanctum: Minimal Hardware Extensions for Strong Software Isolation. In 25th USENIX Security Symposium (USENIX Security 16). USENIX Association, Austin, TX, 857--874."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2018.i2.171-191"},{"key":"e_1_3_2_1_26_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Disselkoen Craig","year":"2017","unstructured":"Craig Disselkoen , David Kohlbrenner , Leo Porter , and Dean Tullsen . 2017 . Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX . In 26th USENIX Security Symposium (USENIX Security 17) . USENIX Association, Vancouver, BC, 51--67. Craig Disselkoen, David Kohlbrenner, Leo Porter, and Dean Tullsen. 2017. Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 51--67."},{"key":"e_1_3_2_1_27_1","volume-title":"Presented as part of the 22nd USENIX Security Symposium (USENIX Security 13). USENIX, Washington, D.C., 431--446.","author":"Doychev Goran","unstructured":"Goran Doychev , Dominik Feld , Boris Kopf , Laurent Mauborgne , and Jan Reineke . 2013. CacheAudit: A Tool for the Static Analysis of Cache Side Channels . In Presented as part of the 22nd USENIX Security Symposium (USENIX Security 13). USENIX, Washington, D.C., 431--446. Goran Doychev, Dominik Feld, Boris Kopf, Laurent Mauborgne, and Jan Reineke. 2013. CacheAudit: A Tool for the Static Analysis of Cache Side Channels. In Presented as part of the 22nd USENIX Security Symposium (USENIX Security 13). USENIX, Washington, D.C., 431--446."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062388"},{"key":"e_1_3_2_1_29_1","volume-title":"d.}. DynamoRIO: Dynamic Instrumentation Tool Platform","author":"RIO","unstructured":"Dynamo RIO {n. d.}. DynamoRIO: Dynamic Instrumentation Tool Platform . http:\/\/dynamorio.org\/. ({n. d.}). Accessed: 2018-02-27. DynamoRIO {n. d.}. DynamoRIO: Dynamic Instrumentation Tool Platform. http:\/\/dynamorio.org\/. ({n. d.}). Accessed: 2018-02-27."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/3195638.3195686"},{"key":"e_1_3_2_1_31_1","unstructured":"Ivan Fratric. {n. d.}. WinAFL. https:\/\/github.com\/ivanfratric\/winafl. ({n. d.}). Accessed: 2018-02-27.  Ivan Fratric. {n. d.}. WinAFL. https:\/\/github.com\/ivanfratric\/winafl. ({n. d.}). Accessed: 2018-02-27."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-016-0141-6"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48324-4_11"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85053-3_27"},{"key":"e_1_3_2_1_35_1","volume-title":"Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches. In 24th USENIX Security Symposium (USENIX Security 15)","author":"Gruss Daniel","year":"2015","unstructured":"Daniel Gruss , Raphael Spreitzer , and Stefan Mangard . 2015 . Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches. In 24th USENIX Security Symposium (USENIX Security 15) . USENIX Association, Washington, D.C., 897--912. Daniel Gruss, Raphael Spreitzer, and Stefan Mangard. 2015. Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches. In 24th USENIX Security Symposium (USENIX Security 15). USENIX Association, Washington, D.C., 897--912."},{"key":"e_1_3_2_1_36_1","volume-title":"Information theory with new applications","author":"Guia\u015fu Silviu","unstructured":"Silviu Guia\u015fu . 1977. Information theory with new applications . McGraw-Hill Companies . Silviu Guia\u015fu. 1977. Information theory with new applications. McGraw-Hill Companies."},{"key":"e_1_3_2_1_37_1","volume-title":"Computer Security -- ESORICS","author":"Gulmezoglu Berk","year":"2017","unstructured":"Berk Gulmezoglu , Andreas Zankl , Thomas Eisenbarth , and Berk Sunar . 2017. PerfWeb: How to Violate Web Privacy with Hardware Performance Events . In Computer Security -- ESORICS 2017 . Springer , 80--97. Berk Gulmezoglu, Andreas Zankl, Thomas Eisenbarth, and Berk Sunar. 2017. PerfWeb: How to Violate Web Privacy with Hardware Performance Events. In Computer Security -- ESORICS 2017. Springer, 80--97."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(98)00031-3"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04138-9_2"},{"key":"e_1_3_2_1_40_1","unstructured":"Intel. {n. d.}. Intel Digital Random Number Generator (DRNG) Software Implementation Guide. https:\/\/intel.ly\/1VNnVkE. ({n. d.}). Accessed: 2018--06-13.  Intel. {n. d.}. Intel Digital Random Number Generator (DRNG) Software Implementation Guide. https:\/\/intel.ly\/1VNnVkE. ({n. d.}). Accessed: 2018--06-13."},{"key":"e_1_3_2_1_41_1","unstructured":"Intel. {n. d.}. Symmetric Cryptography Primitive Functions. https:\/\/intel.ly\/2xwNvCM. ({n. d.}).  Intel. {n. d.}. Symmetric Cryptography Primitive Functions. https:\/\/intel.ly\/2xwNvCM. ({n. d.})."},{"key":"e_1_3_2_1_42_1","unstructured":"Intel. {n. d.}. Understanding CPU Dispatching in the Intel\u00ae IPP Libraries. https:\/\/intel.ly\/2QAcQo6. ({n. d.}). Accessed: 2018--02-27.  Intel. {n. d.}. Understanding CPU Dispatching in the Intel\u00ae IPP Libraries. https:\/\/intel.ly\/2QAcQo6. ({n. d.}). Accessed: 2018--02-27."},{"key":"e_1_3_2_1_43_1","volume-title":"Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries. CoRR abs\/1709.01552","author":"Irazoqui Gorka","year":"2017","unstructured":"Gorka Irazoqui , Kai Cong , Xiaofei Guo , Hareesh Khattri , Arun K. Kanuparthi , Thomas Eisenbarth , and Berk Sunar . 2017. Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries. CoRR abs\/1709.01552 ( 2017 ). arXiv:1709.01552 http:\/\/arxiv.org\/abs\/1709.01552 Gorka Irazoqui, Kai Cong, Xiaofei Guo, Hareesh Khattri, Arun K. Kanuparthi, Thomas Eisenbarth, and Berk Sunar. 2017. Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries. CoRR abs\/1709.01552 (2017). arXiv:1709.01552 http:\/\/arxiv.org\/abs\/1709.01552"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.42"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s102070100002"},{"key":"e_1_3_2_1_46_1","volume-title":"When Constant-Time Source Yields Variable-Time Binary: Exploiting Curve25519-donna Built with MSVC","author":"Kaufmann Thierry","year":"2015","unstructured":"Thierry Kaufmann , Herv\u00e9 Pelletier , Serge Vaudenay , and Karine Villegas . 2016. When Constant-Time Source Yields Variable-Time Binary: Exploiting Curve25519-donna Built with MSVC 2015 . In Cryptology and Network Security. Springer , 573--582. Thierry Kaufmann, Herv\u00e9 Pelletier, Serge Vaudenay, and Karine Villegas. 2016. When Constant-Time Source Yields Variable-Time Binary: Exploiting Curve25519-donna Built with MSVC 2015. In Cryptology and Network Security. Springer, 573--582."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062313"},{"key":"e_1_3_2_1_48_1","volume-title":"The discrete logarithm problem. Cryptology and computational number theory 42","author":"Kevin S","year":"1990","unstructured":"S McCURLEY Kevin . 1990. The discrete logarithm problem. Cryptology and computational number theory 42 ( 1990 ), 49. S McCURLEY Kevin. 1990. The discrete logarithm problem. Cryptology and computational number theory 42 (1990), 49."},{"key":"e_1_3_2_1_49_1","volume-title":"Spectre Attacks: Exploiting Speculative Execution. ArXiv e-prints (Jan.","author":"Kocher Paul","year":"2018","unstructured":"Paul Kocher , Daniel Genkin , Daniel Gruss , Werner Haas , Mike Hamburg , Moritz Lipp , Stefan Mangard , Thomas Prescher , Michael Schwarz , and Yuval Yarom . 2018 . Spectre Attacks: Exploiting Speculative Execution. ArXiv e-prints (Jan. 2018). arXiv:1801.01203 Paul Kocher, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, and Yuval Yarom. 2018. Spectre Attacks: Exploiting Speculative Execution. ArXiv e-prints (Jan. 2018). arXiv:1801.01203"},{"key":"e_1_3_2_1_50_1","volume-title":"RSA, DSS, and Other Systems. In Advances in Cryptology --- CRYPTO '96","author":"Kocher Paul C.","unstructured":"Paul C. Kocher . 1996. Timing Attacks on Implementations of Diffie-Hellman , RSA, DSS, and Other Systems. In Advances in Cryptology --- CRYPTO '96 . Springer , Berlin, Heidelberg , 104--113. Paul C. Kocher. 1996. Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems. In Advances in Cryptology --- CRYPTO '96. Springer, Berlin, Heidelberg, 104--113."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_40"},{"key":"e_1_3_2_1_52_1","unstructured":"A Langley. 2010. ctgrind: Checking that functions are constant time with Valgrind. (2010).  A Langley. 2010. ctgrind: Checking that functions are constant time with Valgrind. (2010)."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_54_1","volume-title":"Computer Security -- ESORICS","author":"Lipp Moritz","year":"2017","unstructured":"Moritz Lipp , Daniel Gruss , Michael Schwarz , David Bidner , Cl\u00e9mentine Maurice , and Stefan Mangard . 2017. Practical Keystroke Timing Attacks in Sandboxed JavaScript . In Computer Security -- ESORICS 2017 . Springer , 191--209. Moritz Lipp, Daniel Gruss, Michael Schwarz, David Bidner, Cl\u00e9mentine Maurice, and Stefan Mangard. 2017. Practical Keystroke Timing Attacks in Sandboxed JavaScript. In Computer Security -- ESORICS 2017. Springer, 191--209."},{"key":"e_1_3_2_1_55_1","volume-title":"ARMageddon: Cache Attacks on Mobile Devices. In 25th USENIX Security Symposium (USENIX Security 16)","author":"Lipp Moritz","year":"2016","unstructured":"Moritz Lipp , Daniel Gruss , Raphael Spreitzer , Cl\u00e9mentine Maurice , and Stefan Mangard . 2016 . ARMageddon: Cache Attacks on Mobile Devices. In 25th USENIX Security Symposium (USENIX Security 16) . USENIX Association, Austin, TX, 549--564. Moritz Lipp, Daniel Gruss, Raphael Spreitzer, Cl\u00e9mentine Maurice, and Stefan Mangard. 2016. ARMageddon: Cache Attacks on Mobile Devices. In 25th USENIX Security Symposium (USENIX Security 16). USENIX Association, Austin, TX, 549--564."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2016.7446082"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.43"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_59_1","volume-title":"Power Analysis Attacks: Revealing the Secrets of Smart Cards (Advances in Information Security)","author":"Mangard Stefan","unstructured":"Stefan Mangard , Elisabeth Oswald , and Thomas Popp . 2007. Power Analysis Attacks: Revealing the Secrets of Smart Cards (Advances in Information Security) . Springer, Berlin , Heidelberg . Stefan Mangard, Elisabeth Oswald, and Thomas Popp. 2007. Power Analysis Attacks: Revealing the Secrets of Smart Cards (Advances in Information Security). Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_60_1","volume-title":"Fuzzing: The State of the Art","author":"McNally Richard","year":"2012","unstructured":"Richard McNally , Ken Yiu , Duncan Grove , and Damien Gerhardy . 2012 . Fuzzing: The State of the Art . http:\/\/bit.ly\/2DgUIrq. (2012). Richard McNally, Ken Yiu, Duncan Grove, and Damien Gerhardy. 2012. Fuzzing: The State of the Art. http:\/\/bit.ly\/2DgUIrq. (2012)."},{"key":"e_1_3_2_1_61_1","volume-title":"Topics in Cryptology - CT-RSA 2018 - The Cryptographers' Track at the RSA Conference","author":"Moghimi Ahmad","year":"2018","unstructured":"Ahmad Moghimi , Thomas Eisenbarth , and Berk Sunar . 2018. MemJam: A False Dependency Attack Against Constant-Time Crypto Implementations in SGX . In Topics in Cryptology - CT-RSA 2018 - The Cryptographers' Track at the RSA Conference 2018 , San Francisco, CA , USA, April 16--20, 2018, Proceedings . 21--44. Ahmad Moghimi, Thomas Eisenbarth, and Berk Sunar. 2018. MemJam: A False Dependency Attack Against Constant-Time Crypto Implementations in SGX. In Topics in Cryptology - CT-RSA 2018 - The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16--20, 2018, Proceedings. 21--44."},{"key":"e_1_3_2_1_62_1","volume-title":"Cryptographic Hardware and Embedded Systems -- CHES","author":"Moghimi Ahmad","year":"2017","unstructured":"Ahmad Moghimi , Gorka Irazoqui , and Thomas Eisenbarth . 2017. CacheZoom: How SGX Amplifies the Power of Cache Attacks . In Cryptographic Hardware and Embedded Systems -- CHES 2017 . Springer , 69--90. Ahmad Moghimi, Gorka Irazoqui, and Thomas Eisenbarth. 2017. CacheZoom: How SGX Amplifies the Power of Cache Attacks. In Cryptographic Hardware and Embedded Systems -- CHES 2017. Springer, 69--90."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168595"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/11605805_1"},{"key":"e_1_3_2_1_66_1","volume-title":"Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. In 2016 IEEE 29th Computer Security Foundations Symposium (CSF). 387--400","author":"Pasareanu C. S.","unstructured":"C. S. Pasareanu , Q. Phan , and P. Malacaria . 2016 . Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. In 2016 IEEE 29th Computer Security Foundations Symposium (CSF). 387--400 . C. S. Pasareanu, Q. Phan, and P. Malacaria. 2016. Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. In 2016 IEEE 29th Computer Security Foundations Symposium (CSF). 387--400."},{"key":"e_1_3_2_1_67_1","unstructured":"Colin Percival. 2005. Cache missing for fun and profit. (2005).  Colin Percival. 2005. Cache missing for fun and profit. (2005)."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978420"},{"key":"e_1_3_2_1_69_1","unstructured":"NIST FIPS PUB. 1993. Digital signature standard. (1993).  NIST FIPS PUB. 1993. Digital signature standard. (1993)."},{"key":"e_1_3_2_1_70_1","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Rane Ashay","year":"2015","unstructured":"Ashay Rane , Calvin Lin , and Mohit Tiwari . 2015 . Raccoon: Closing Digital Side-Channels through Obfuscated Execution . In 24th USENIX Security Symposium (USENIX Security 15) . USENIX Association, Washington, D.C., 431--446. Ashay Rane, Calvin Lin, and Mohit Tiwari. 2015. Raccoon: Closing Digital Side-Channels through Obfuscated Execution. In 24th USENIX Security Symposium (USENIX Security 15). USENIX Association, Washington, D.C., 431--446."},{"key":"e_1_3_2_1_71_1","volume-title":"Automation Test in Europe Conference Exhibition (DATE)","author":"Reparaz O.","year":"2017","unstructured":"O. Reparaz , J. Balasch , and I. Verbauwhede . 2017. Dude, is my code constant time?. In Design , Automation Test in Europe Conference Exhibition (DATE) , 2017 . 1697--1702. O. Reparaz, J. Balasch, and I. Verbauwhede. 2017. Dude, is my code constant time?. In Design, Automation Test in Europe Conference Exhibition (DATE), 2017. 1697--1702."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"crossref","unstructured":"Laurent Simon David Chisnall and Ross Anderson. 2018. What you get is what you C: Controlling side effects in mainstream C compilers. (2018).  Laurent Simon David Chisnall and Ross Anderson. 2018. What you get is what you C: Controlling side effects in mainstream C compilers. (2018).","DOI":"10.1109\/EuroSP.2018.00009"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106248"},{"key":"e_1_3_2_1_74_1","volume-title":"Foundations of Software Science and Computational Structures","author":"Smith Geoffrey","unstructured":"Geoffrey Smith . 2009. On the Foundations of Quantitative Information Flow . In Foundations of Software Science and Computational Structures . Springer , 288--302. Geoffrey Smith. 2009. On the Foundations of Quantitative Information Flow. In Foundations of Software Science and Computational Structures. Springer, 288--302."},{"key":"e_1_3_2_1_75_1","volume-title":"Advances in Cryptology - EUROCRYPT","author":"Standaert Fran\u00e7ois-Xavier","year":"2009","unstructured":"Fran\u00e7ois-Xavier Standaert , Tal G. Malkin , and Moti Yung . 2009. A Unified Framework for the Analysis of Side-Channel Key Recovery Attacks . In Advances in Cryptology - EUROCRYPT 2009 . Springer, Berlin , Heidelberg , 443--461. Fran\u00e7ois-Xavier Standaert, Tal G. Malkin, and Moti Yung. 2009. A Unified Framework for the Analysis of Side-Channel Key Recovery Attacks. In Advances in Cryptology - EUROCRYPT 2009. Springer, Berlin, Heidelberg, 443--461."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516660"},{"key":"e_1_3_2_1_77_1","volume-title":"CacheD: Identifying Cache-Based Timing Channels in Production Software. In 26th USENIX Security Symposium (USENIX Security 17)","author":"Wang Shuai","year":"2017","unstructured":"Shuai Wang , Pei Wang , Xiao Liu , Danfeng Zhang , and Dinghao Wu . 2017 . CacheD: Identifying Cache-Based Timing Channels in Production Software. In 26th USENIX Security Symposium (USENIX Security 17) . USENIX Association, Vancouver, BC, 235--252. Shuai Wang, Pei Wang, Xiao Liu, Danfeng Zhang, and Dinghao Wu. 2017. CacheD: Identifying Cache-Based Timing Channels in Production Software. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 235--252."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134038"},{"key":"e_1_3_2_1_79_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Weiser Samuel","year":"2018","unstructured":"Samuel Weiser , Andreas Zankl , Raphael Spreitzer , Katja Miller , Stefan Mangard , and Georg Sigl . 2018 . DATA -- Differential Address Trace Analysis: Finding Address-based Side-Channels in Binaries . In 27th USENIX Security Symposium (USENIX Security 18) . USENIX Association, Baltimore, MD, 603--620. Samuel Weiser, Andreas Zankl, Raphael Spreitzer, Katja Miller, Stefan Mangard, and Georg Sigl. 2018. DATA -- Differential Address Trace Analysis: Finding Address-based Side-Channels in Binaries. In 27th USENIX Security Symposium (USENIX Security 18). USENIX Association, Baltimore, MD, 603--620."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.2307\/2332510"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134016"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.45"},{"key":"e_1_3_2_1_83_1","first-page":"140","article-title":"Recovering OpenSSL ECDSA Nonces Using the FLUSH+ RELOAD Cache Side-channel Attack","volume":"2014","author":"Yarom Yuval","year":"2014","unstructured":"Yuval Yarom and Naomi Benger . 2014 . Recovering OpenSSL ECDSA Nonces Using the FLUSH+ RELOAD Cache Side-channel Attack . IACR Cryptology ePrint Archive 2014 (2014), 140 . Yuval Yarom and Naomi Benger. 2014. Recovering OpenSSL ECDSA Nonces Using the FLUSH+ RELOAD Cache Side-channel Attack. IACR Cryptology ePrint Archive 2014 (2014), 140.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-017-0152-y"},{"key":"e_1_3_2_1_85_1","volume-title":"Smart Card Research and Advanced Applications","author":"Zankl Andreas","unstructured":"Andreas Zankl , Johann Heyszl , and Georg Sigl . 2017. Automated Detection of Instruction Cache Leaks in Modular Exponentiation Software . In Smart Card Research and Advanced Applications . Springer , 228--244. Andreas Zankl, Johann Heyszl, and Georg Sigl. 2017. Automated Detection of Instruction Cache Leaks in Modular Exponentiation Software. In Smart Card Research and Advanced Applications. Springer, 228--244."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664273"},{"key":"e_1_3_2_1_87_1","volume-title":"Lee","author":"Zhang Tianwei","year":"2016","unstructured":"Tianwei Zhang , Yinqian Zhang , and Ruby B . Lee . 2016 . CloudRadar: A Real-Time Side-Channel Attack Detection System in Clouds. In Research in Attacks, Intrusions, and Defenses. Springer , 118--140. Tianwei Zhang, Yinqian Zhang, and Ruby B. Lee. 2016. CloudRadar: A Real-Time Side-Channel Attack Detection System in Clouds. In Research in Attacks, Intrusions, and Defenses. Springer, 118--140."}],"event":{"name":"ACSAC '18: 2018 Annual Computer Security Applications Conference","location":"San Juan PR USA","acronym":"ACSAC '18","sponsor":["ACSA Applied Computing Security Assoc"]},"container-title":["Proceedings of the 34th Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3274694.3274741","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3274694.3274741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:56Z","timestamp":1750208276000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3274694.3274741"}},"subtitle":["A Framework for Finding Side Channels in Binaries"],"short-title":[],"issued":{"date-parts":[[2018,12,3]]},"references-count":86,"alternative-id":["10.1145\/3274694.3274741","10.1145\/3274694"],"URL":"https:\/\/doi.org\/10.1145\/3274694.3274741","relation":{},"subject":[],"published":{"date-parts":[[2018,12,3]]},"assertion":[{"value":"2018-12-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}