{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:05Z","timestamp":1780994525012,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100014718","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1918573"],"award-info":[{"award-number":["CCF-1918573"]}],"id":[{"id":"10.13039\/100014718","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["CONIX"],"award-info":[{"award-number":["CONIX"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100015089","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000141512750"],"award-info":[{"award-number":["N000141512750"]}],"id":[{"id":"10.13039\/100015089","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3385970","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"913-926","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":76,"title":["Constant-time foundations for the new spectre era"],"prefix":"10.1145","author":[{"given":"Sunjay","family":"Cauligi","sequence":"first","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Craig","family":"Disselkoen","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus v.","family":"Gleissenthall","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dean","family":"Tullsen","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deian","family":"Stefan","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tamara","family":"Rezk","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gilles","family":"Barthe","sequence":"additional","affiliation":[{"name":"MPI-SP, Germany \/ IMDEA Software Institute, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481839.1481842"},{"key":"e_1_3_2_1_2_1","volume-title":"mbed TLS. Retrieved","author":"Mbed Arm","year":"2018","unstructured":"Arm Mbed. [n.d.]. mbed TLS. Retrieved May 16, 2018 from https: \/\/github.com\/armmbed\/mbedtls"},{"key":"e_1_3_2_1_3_1","unstructured":"Musard Balliu Mads Dam and Roberto Guanciale. 2019."},{"key":"e_1_3_2_1_4_1","volume-title":"Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. arXiv","year":"1911","unstructured":"InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. arXiv: 1911.00868 [cs.CR]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660283"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363219"},{"key":"e_1_3_2_1_7_1","volume-title":"Michael Schwarz, Moritz Lipp, Benjamin von","author":"Canella Claudio","year":"2019","unstructured":"Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin, and Daniel Gruss. 2019."},{"key":"e_1_3_2_1_8_1","volume-title":"Systematic Evaluation of Transient Execution Attacks and Defenses. In 28th USENIX Security Symposium. USENIX Association.","author":"A","unstructured":"A Systematic Evaluation of Transient Execution Attacks and Defenses. In 28th USENIX Security Symposium. USENIX Association."},{"key":"e_1_3_2_1_9_1","unstructured":"Sunjay Cauligi Craig Disselkoen Klaus von Gleissenthall Dean Tullsen Deian Stefan Tamara Rezk and Gilles Barthe. 2019."},{"key":"e_1_3_2_1_10_1","volume-title":"arXiv","author":"Constant-Time Towards","year":"1910","unstructured":"Towards Constant-Time Foundations for the New Spectre Era. arXiv: 1910.01755v2"},{"key":"e_1_3_2_1_11_1","unstructured":"Sunjay Cauligi Craig Disselkoen Klaus von Gleissenthall Dean Tullsen Deian Stefan Tamara Rezk and Gilles Barthe. 2020."},{"key":"e_1_3_2_1_12_1","volume-title":"arXiv","author":"New Spectre Era Constant-Time","year":"1910","unstructured":"Constant-Time Foundations for the New Spectre Era. arXiv: 1910.01755"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314605"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/143365.143486"},{"key":"e_1_3_2_1_16_1","volume-title":"Coding Rules. Retrieved","author":"Standard Cryptography Coding","year":"2017","unstructured":"Cryptography Coding Standard. 2016. Coding Rules. Retrieved June 9, 2017 from https:\/\/cryptocoding.net\/index.php\/Coding_rules"},{"key":"e_1_3_2_1_17_1","unstructured":"Frank Denis. 2019."},{"key":"e_1_3_2_1_18_1","unstructured":"libsodium. Retrieved May 16 2018 from https: \/\/github.com\/jedisct1\/libsodium"},{"key":"e_1_3_2_1_19_1","unstructured":"Craig Disselkoen Radha Jagadeesan Alan Jeffrey and James Riely. 2019."},{"key":"e_1_3_2_1_20_1","volume-title":"Code That Never Ran: Modeling Attacks on Speculative Evaluation. In 40th IEEE Symposium on Security and Privacy. IEEE.","author":"The","unstructured":"The Code That Never Ran: Modeling Attacks on Speculative Evaluation. In 40th IEEE Symposium on Security and Privacy. IEEE."},{"key":"e_1_3_2_1_21_1","unstructured":"GCC Team. 2019."},{"key":"e_1_3_2_1_22_1","volume-title":"Retrieved","author":"Compiler Using","year":"2019","unstructured":"Using the GNU Compiler Collection (GCC): Instrumentation Options. Retrieved November 21, 2019 from https: \/\/gcc.gnu.org\/onlinedocs\/gcc\/Instrumentation-Options.html"},{"key":"e_1_3_2_1_23_1","volume-title":"A survey of microarchitectural timing attacks and countermeasures on contemporary hardware. Journal of Cryptographic Engineering","author":"Ge Qian","year":"2018","unstructured":"Qian Ge, Yuval Yarom, David Cock, and Gernot Heiser. 2018. A survey of microarchitectural timing attacks and countermeasures on contemporary hardware. Journal of Cryptographic Engineering (2018)."},{"key":"e_1_3_2_1_24_1","unstructured":"Marco Guarnieri Boris K\u00f6pf Jos\u00e9 F. Morales Jan Reineke and Andr\u00e9s S\u00e1nchez. 2020."},{"key":"e_1_3_2_1_25_1","volume-title":"41st IEEE Symposium on Security and Privacy. IEEE.","author":"SPECTECTOR","unstructured":"SPECTECTOR: Principled Detection of Speculative Information Flows. In 41st IEEE Symposium on Security and Privacy. IEEE."},{"key":"e_1_3_2_1_26_1","volume-title":"SPOILER: Speculative Load Hazards Boost Rowhammer and Cache Attacks. In 28th USENIX Security Symposium. USENIX Association.","author":"Islam Saad","year":"2019","unstructured":"Saad Islam, Ahmad Moghimi, Ida Bruhns, Moritz Krebbel, Berk Gulmezoglu, Thomas Eisenbarth, and Berk Sunar. 2019. SPOILER: Speculative Load Hazards Boost Rowhammer and Cache Attacks. In 28th USENIX Security Symposium. USENIX Association."},{"key":"e_1_3_2_1_27_1","unstructured":"Paul Kocher. 2018."},{"key":"e_1_3_2_1_28_1","unstructured":"Spectre mitigations in Microsoft\u2019s C\/C++ compiler. Retrieved April 6 2020 from https:\/\/www.paulkocher.com\/doc\/ MicrosoftCompilerSpectreMitigation.html"},{"key":"e_1_3_2_1_29_1","volume-title":"Spectre Attacks: Exploiting Speculative Execution. In 40th IEEE Symposium on Security and Privacy. IEEE.","author":"Kocher Paul","year":"2019","unstructured":"Paul Kocher, Jann Horn, Anders Fogh, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, and Yuval Yarom. 2019. Spectre Attacks: Exploiting Speculative Execution. In 40th IEEE Symposium on Security and Privacy. IEEE."},{"key":"e_1_3_2_1_30_1","volume-title":"Bryant","author":"Lahiri Shuvendu K.","year":"2002","unstructured":"Shuvendu K. Lahiri, Sanjit A. Seshia, and Randal E. Bryant. 2002. Modeling and Verification of Out-of-Order Microprocessors in UCLID. In International Conference on Formal Methods in Computer-Aided Design. Springer."},{"key":"e_1_3_2_1_31_1","volume-title":"27th USENIX Security Symposium. USENIX Association.","author":"Lipp Moritz","year":"2018","unstructured":"Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, and Mike Hamburg. 2018. Meltdown: Reading Kernel Memory from User Space. In 27th USENIX Security Symposium. USENIX Association."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243761"},{"key":"e_1_3_2_1_33_1","unstructured":"Ross McIlroy Jaroslav Sevcik Tobias Tebbi Ben L. Titzer and Toon Verwaest. 2019."},{"key":"e_1_3_2_1_34_1","volume-title":"An analysis of side-channels and speculative execution. arXiv","author":"Spectre","year":"1902","unstructured":"Spectre is here to stay: An analysis of side-channels and speculative execution. arXiv: 1902.05178"},{"key":"e_1_3_2_1_35_1","unstructured":"OpenSSL. 2019. Security Policy. Retrieved April 6 2020 from https: \/\/www.openssl.org\/policies\/secpolicy.html"},{"key":"e_1_3_2_1_36_1","unstructured":"Thomas Pornin. 2016."},{"key":"e_1_3_2_1_37_1","unstructured":"Why Constant-Time Crypto? Retrieved November 15 2018 from https:\/\/www.bearssl.org\/constanttime.html"},{"key":"e_1_3_2_1_38_1","volume-title":"Retrieved","author":"Pornin Thomas","year":"2018","unstructured":"Thomas Pornin. 2018. Constant-Time Toolkit. Retrieved November 15, 2018 from https:\/\/github.com\/pornin\/CTTK"},{"key":"e_1_3_2_1_39_1","unstructured":"Michael Schwarz Claudio Canella Lukas Giner and Daniel Gruss. 2019."},{"key":"e_1_3_2_1_40_1","volume-title":"June 15\u201320","author":"Forwarding Leak","year":"2020","unstructured":"Store-to-Leak Forwarding: Leaking Data on Meltdown-resistant PLDI \u201920, June 15\u201320, 2020, London, UK S. Cauligi, C. Disselkoen, K. v. Gleissenthall, D. Tullsen, D. Stefan, T. Rezk, and G. Barthe CPUs. arXiv: 1905.05725"},{"key":"e_1_3_2_1_41_1","volume-title":"Julian Stecklina, Thomas Prescher, and Daniel Gruss.","author":"Schwarz Michael","year":"2019","unstructured":"Michael Schwarz, Moritz Lipp, Daniel Moghimi, Jo Van Bulck, Julian Stecklina, Thomas Prescher, and Daniel Gruss. 2019."},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. ACM.","unstructured":"ZombieLoad: Cross-Privilege-Boundary Data Sampling. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. ACM."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_44_1","unstructured":"Paul Turner. 2019."},{"key":"e_1_3_2_1_45_1","volume-title":"a software construct for preventing branch-target-injection. Retrieved","author":"Retpoline","year":"2020","unstructured":"Retpoline: a software construct for preventing branch-target-injection. Retrieved April 6, 2020 from https:\/\/support. google.com\/faqs\/answer\/7625886"},{"key":"e_1_3_2_1_46_1","volume-title":"RIDL: Rogue In-Flight Data Load. In 40th IEEE Symposium on Security and Privacy. IEEE.","author":"van Schaik Stephan","year":"2019","unstructured":"Stephan van Schaik, Alyssa Milburn, Sebastian \u00d6sterlund, Pietro Frigo, Giorgi Maisuradze, Kaveh Razavi, Herbert Bos, and Cristiano Giuffrida. 2019. RIDL: Rogue In-Flight Data Load. In 40th IEEE Symposium on Security and Privacy. IEEE."},{"key":"e_1_3_2_1_47_1","volume-title":"oo7: Low-overhead Defense against Spectre Attacks via Program Analysis","author":"Wang Guanhua","year":"2019","unstructured":"Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, and Abhik Roychoudhury. 2019. oo7: Low-overhead Defense against Spectre Attacks via Program Analysis. IEEE Transactions on Software Engineering (2019)."},{"key":"e_1_3_2_1_48_1","unstructured":"Henry Wong. 2014."},{"key":"e_1_3_2_1_49_1","unstructured":"Store-to-Load Forwarding and Memory Disambiguation in X86 Processors. Retrieved April 6 2020 from https:\/\/blog.stuffedcow.net\/2014\/01\/x86-memory-disambiguation\/"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314647"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3385970","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3385970","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3385970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:14Z","timestamp":1750200074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3385970"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":49,"alternative-id":["10.1145\/3385412.3385970","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3385970","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}