{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:22Z","timestamp":1750309222672,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"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":[[2024,7]]},"DOI":"10.1145\/3634737.3637651","type":"proceedings-article","created":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T11:51:38Z","timestamp":1719575498000},"page":"203-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-2199-9581","authenticated-orcid":false,"given":"Tiziano","family":"Marinaro","sequence":"first","affiliation":[{"name":"CISPA Helmholtz Center for Information Security and Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4368-4196","authenticated-orcid":false,"given":"Pablo","family":"Buiras","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5311-1781","authenticated-orcid":false,"given":"Andreas","family":"Lindner","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8069-6495","authenticated-orcid":false,"given":"Roberto","family":"Guanciale","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9251-3679","authenticated-orcid":false,"given":"Hamed","family":"Nemati","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7]]},"reference":[{"volume-title":"Arm Limited","author":"Limited Arm","key":"e_1_3_2_1_1_1","unstructured":"Arm Limited. 2013. Cortex-M0+ Technical Reference Manual r0p0 (r0p0 ed.). Arm Limited, Cambridge, UK. https:\/\/developer.arm.com\/documentation\/ddi0432\/latest\/"},{"key":"e_1_3_2_1_2_1","volume-title":"High-Assurance Cryptography in the Spectre Era. In 42nd IEEE Symposium on Security and Privacy, SP 2021","author":"Barthe Gilles","year":"2021","unstructured":"Gilles Barthe, Sunjay Cauligi, Benjamin Gr\u00e9goire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, and Peter Schwabe. 2021. High-Assurance Cryptography in the Spectre Era. In 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24--27 May 2021."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.17"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480130"},{"key":"e_1_3_2_1_5_1","volume-title":"RFC: Speculative load hardening (a Spectre variant #1 mitigation). https:\/\/llvm.org\/docs\/SpeculativeLoadHardening.html. Accessed","author":"Carruth Chandler","year":"2018","unstructured":"Chandler Carruth. 2018. RFC: Speculative load hardening (a Spectre variant #1 mitigation). https:\/\/llvm.org\/docs\/SpeculativeLoadHardening.html. Accessed October 2022."},{"key":"e_1_3_2_1_6_1","volume-title":"Cryptographic software in a post-Spectre world. Talk at the Real World Crypto Symposium. https:\/\/chandlerc.blog\/talks\/2020_post_spectre_crypto\/post_spectre_crypto.html. Accessed","author":"Carruth Chandler","year":"2022","unstructured":"Chandler Carruth. 2020. Cryptographic software in a post-Spectre world. Talk at the Real World Crypto Symposium. https:\/\/chandlerc.blog\/talks\/2020_post_spectre_crypto\/post_spectre_crypto.html. Accessed October 2022."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385970"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Sunjay Cauligi Craig Disselkoen Daniel Moghimi Gilles Barthe and Deian Stefan. 2022. SoK: Practical Foundations for Spectre Defenses. (2022).","DOI":"10.1109\/SP46214.2022.9833707"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.31"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00027"},{"key":"e_1_3_2_1_11_1","volume-title":"Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. In 28th Annual Network and Distributed System Security Symposium, NDSS 2021","author":"Daniel Lesly-Ann","year":"2021","unstructured":"Lesly-Ann Daniel, S\u00e9bastien Bardin, and Tamara Rezk. 2021. Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. In 28th Annual Network and Distributed System Security Symposium, NDSS 2021, virtually, February 21--25, 2021."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560555"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417246"},{"volume-title":"Spectector: Principled Detection of Speculative Information Flows. In 2020 IEEE Symposium on Security and Privacy (SP).","author":"Guarnieri M.","key":"e_1_3_2_1_14_1","unstructured":"M. Guarnieri, B. K\u00f6pf, J. F. Morales, J. Reineke, and A. S\u00e1nchez. 2020. Spectector: Principled Detection of Speculative Information Flows. In 2020 IEEE Symposium on Security and Privacy (SP)."},{"key":"e_1_3_2_1_15_1","volume-title":"Hardware-Software Contracts for Secure Speculation. In 2021 IEEE Symposium on Security and Privacy.","author":"Guarnieri Marco","year":"2021","unstructured":"Marco Guarnieri, Boris K\u00f6pf, Jan Reineke, and Pepe Vila. 2021. Hardware-Software Contracts for Secure Speculation. In 2021 IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380428"},{"key":"e_1_3_2_1_17_1","unstructured":"Jann Horn. 2018. Speculative execution variant 4: Speculative store bypass. https:\/\/bugs.chromium.org\/p\/project-zero\/issues\/detail?id=1528"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2301.03724"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317903"},{"key":"e_1_3_2_1_20_1","unstructured":"Paul Kocher. 2018. Spectre Mitigations in Microsoft's C\/C++ Compiler. https:\/\/www.paulkocher.com\/doc\/MicrosoftCompilerSpectreMitigation.html."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"e_1_3_2_1_22_1","volume-title":"12th USENIX Workshop on Offensive Technologies (WOOT)","author":"Koruyeh Esmaeil Mohammadian","year":"2018","unstructured":"Esmaeil Mohammadian Koruyeh, Khaled N. Khasawneh, Chengyu Song, and Nael B. Abu-Ghazaleh. 2018. Spectre Returns! Speculation Attacks using the Return Stack Buffer. 12th USENIX Workshop on Offensive Technologies (WOOT) (2018)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00033"},{"key":"e_1_3_2_1_24_1","volume-title":"LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. Tech. Report UIUCDCS-R-2003-2380. Computer Science Dept., Univ. of Illinois at Urbana-Champaign.","author":"Lattner Chris","year":"2003","unstructured":"Chris Lattner and Vikram Adve. 2003. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. Tech. Report UIUCDCS-R-2003-2380. Computer Science Dept., Univ. of Illinois at Urbana-Champaign."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2019.00043"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.01.001"},{"key":"e_1_3_2_1_27_1","volume-title":"DOLMA: Securing Speculation with the Principle of Transient Non-Observability. In 30th USENIX Security Symposium, USENIX Security 2021","author":"Loughlin Kevin","year":"2021","unstructured":"Kevin Loughlin, Ian Neal, Jiacheng Ma, Elisa Tsai, Ofir Weisse, Satish Narayanasamy, and Baris Kasikci. 2021. DOLMA: Securing Speculation with the Principle of Transient Non-Observability. In 30th USENIX Security Symposium, USENIX Security 2021, August 11--13, 2021. 1397--1414. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/loughlin"},{"key":"e_1_3_2_1_28_1","unstructured":"Matt Miller. 2018. Mitigating speculative execution side channel hardware vulnerabilities. https:\/\/msrc-blog.microsoft.com\/2018\/03\/15\/mitigating-speculative-execution-side-channel-hardware-vulnerabilities\/"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527412"},{"key":"e_1_3_2_1_30_1","unstructured":"Nicholas Mosier Hanna Lachnitt Hamed Nemati and Caroline Trippel. 2022. Clou. https:\/\/github.com\/nmosier\/clou."},{"key":"e_1_3_2_1_31_1","unstructured":"Nicholas Mosier Hamed Nemati and Caroline Trippel. 2022. Clou. https:\/\/github.com\/nmosier\/clou"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_12"},{"key":"e_1_3_2_1_33_1","unstructured":"Hamed Nemati Andreas Lindner and Pablo Buiras. 2020. Scam-V. https:\/\/github.com\/kth-step\/HolBA\/tree\/dev_scamv"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507729"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2301.07642"},{"key":"e_1_3_2_1_36_1","volume-title":"You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass. abs\/1805.08506","author":"Oleksenko Oleksii","year":"2018","unstructured":"Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, and Christof Fetzer. 2018. You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass. abs\/1805.08506 (2018). http:\/\/arxiv.org\/abs\/1805.08506"},{"key":"e_1_3_2_1_37_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Oleksenko Oleksii","year":"2020","unstructured":"Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, and Christof Fetzer. 2020. SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. In 29th USENIX Security Symposium (USENIX Security 20)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484534"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358314"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322216"},{"key":"e_1_3_2_1_41_1","volume-title":"Rui Qi Sim, and Yuval Yarom","author":"Shivakumar Basavesh Ammanaghatta","year":"2022","unstructured":"Basavesh Ammanaghatta Shivakumar, Jack Barnes, Gilles Barthe, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Sioli O'Connell, Peter Schwabe, Rui Qi Sim, and Yuval Yarom. 2022. Spectre Declassified: Reading from the Right Place at the Wrong Time. Cryptology ePrint Archive, Paper 2022\/426. https:\/\/eprint.iacr.org\/2022\/426 https:\/\/eprint.iacr.org\/2022\/426."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304060"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434330"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385897"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Guanhua Wang Sudipta Chattopadhyay Ivan Gotovchits Tulika Mitra and Abhik Roychoudhury. 2021. oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis. (2021).","DOI":"10.1109\/TSE.2019.2953709"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358306"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314647"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442479"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3361129"},{"key":"e_1_3_2_1_51_1","volume-title":"Proceedings of the 23rd USENIX Conference on Security Symposium. 719--732","author":"Yarom Yuval","year":"2014","unstructured":"Yuval Yarom and Katrina Falkner. 2014. Flush+Reload: a high resolution, low noise, L3 cache side-channel attack. In Proceedings of the 23rd USENIX Conference on Security Symposium. 719--732."},{"volume-title":"Proceedings of the 52nd Annual IEEE\/ACM International Symposium on Microarchitecture.","author":"Yu Jiyong","key":"e_1_3_2_1_52_1","unstructured":"Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, and Christopher W. Fletcher. 2019. Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data. In Proceedings of the 52nd Annual IEEE\/ACM International Symposium on Microarchitecture."},{"key":"e_1_3_2_1_53_1","volume-title":"32nd USENIX Security Symposium, USENIX Security 2023","author":"Zhang Zhiyuan","year":"2023","unstructured":"Zhiyuan Zhang, Gilles Barthe, Chitchanok Chuengsatiansup, Peter Schwabe, and Yuval Yarom. 2023. Ultimate SLH: Taking Speculative Load Hardening to the Next Level. In 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9--11, 2023."}],"event":{"name":"ASIA CCS '24: 19th ACM Asia Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Singapore Singapore","acronym":"ASIA CCS '24"},"container-title":["Proceedings of the 19th ACM Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3634737.3637651","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:06Z","timestamp":1750290246000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3634737.3637651"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":53,"alternative-id":["10.1145\/3634737.3637651","10.1145\/3634737"],"URL":"https:\/\/doi.org\/10.1145\/3634737.3637651","relation":{},"subject":[],"published":{"date-parts":[[2024,7]]},"assertion":[{"value":"2024-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}