{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:45:50Z","timestamp":1772725550167,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"European Commission","doi-asserted-by":"publisher","award":["805031"],"award-info":[{"award-number":["805031"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"German Federal Ministry of Education and Research","award":["16KISK038"],"award-info":[{"award-number":["16KISK038"]}]},{"DOI":"10.13039\/501100006374","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["EXC 2092 CASA - 390781972"],"award-info":[{"award-number":["EXC 2092 CASA - 390781972"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-22-PECY-0006"],"award-info":[{"award-number":["ANR-22-PECY-0006"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"ARC Discovery Early Career Researcher Award","award":["DE200101577"],"award-info":[{"award-number":["DE200101577"]}]},{"name":"ARC Discovery Project","award":["DP210102670"],"award-info":[{"award-number":["DP210102670"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3676641.3716015","type":"proceedings-article","created":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:47:32Z","timestamp":1743094052000},"page":"933-948","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants)"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-7425-570X","authenticated-orcid":false,"given":"Santiago","family":"Arranz Olmos","sequence":"first","affiliation":[{"name":"MPI-SP, Bochum, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3853-1777","authenticated-orcid":false,"given":"Gilles","family":"Barthe","sequence":"additional","affiliation":[{"name":"MPI-SP, Bochum, Germany and IMDEA Software Institute, Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0329-2681","authenticated-orcid":false,"given":"Chitchanok","family":"Chuengsatiansup","sequence":"additional","affiliation":[{"name":"University of Melbourne, Melbourne, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6650-9924","authenticated-orcid":false,"given":"Benjamin","family":"Gregoire","sequence":"additional","affiliation":[{"name":"Inria, Sophia Antipolis, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3468-352X","authenticated-orcid":false,"given":"Vincent","family":"Laporte","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7395-3070","authenticated-orcid":false,"given":"Tiago","family":"Oliveira","sequence":"additional","affiliation":[{"name":"Sandbox AQ, Palo Alto, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1310-0997","authenticated-orcid":false,"given":"Peter","family":"Schwabe","sequence":"additional","affiliation":[{"name":"MPI-SP, Bochum, Germany and Radboud University, Nijmegen, Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0401-4197","authenticated-orcid":false,"given":"Yuval","family":"Yarom","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2669-5654","authenticated-orcid":false,"given":"Zhiyuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"MPI-SP, Bochum, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134078"},{"key":"e_1_3_2_1_2_1","unstructured":"Jos\u00e9 Bacelar Almeida Manuel Barbosa Gilles Barthe Fran\u00e7ois Dupressoir and Michael Emmi. 2016. Verifying Constant-Time Implementations. In USENIX Security. 53--70. https:\/\/www.usenix.org\/conference\/usenixsecurity16\/technical-sessions\/presentation\/almeida"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2023.i3.164--193"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00028"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"Jos\u00e9 Bacelar Almeida C\u00e9cile Baritel-Ruet Manuel Barbosa Gilles Barthe Fran\u00e7ois Dupressoir Benjamin Gr\u00e9goire Vincent Laporte Tiago Oliveira Alley Stoughton and Pierre-Yves Strub. 2019. Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. In ACM CCS Lorenzo Cavallaro Johannes Kinder XiaoFeng Wang and Jonathan Katz (Eds.). 1607--1622. https:\/\/doi.org\/10.1145\/3319535.3363211","DOI":"10.1145\/3319535.3363211"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Bacelar Almeida Santiago Arranz Olmos Manuel Barbosa Gilles Barthe Fran\u00e7ois Dupressoir Benjamin Gr\u00e9goire Vincent Laporte Jean-Christophe L\u00e9chenet Cameron Low Tiago Oliveira Hugo Pacheco Miguel Quaresma Peter Schwabe and Pierre-Yves Strub. 2024. Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt. In IACR CRYPTO. to appear. https:\/\/eprint.iacr.org\/2024\/843","DOI":"10.1007\/978-3-031-68379-4_12"},{"key":"e_1_3_2_1_7_1","unstructured":"AMD. 2021. Security Analysis of AMD Predictive Store Forwarding. Technical Report. https:\/\/www.amd.com\/system\/files\/documents\/security-analysis-predictive-store-forwarding.pdf"},{"key":"e_1_3_2_1_8_1","unstructured":"Nadav Amit Fred Jacobs and Michael Wei. 2019. JumpSwitches: Restoring the Performance of Indirect Branches In the Era of Spectre. In USENIX Security. 285--300. https:\/\/www.usenix.org\/conference\/atc19\/presentation\/amit"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179418"},{"key":"e_1_3_2_1_10_1","volume-title":"Getting in control of your control flow with control-data isolation","author":"Arthur William","unstructured":"William Arthur, Ben Mehne, Reetuparna Das, and Todd Austin. 2015. Getting in control of your control flow with control-data isolation. In IEEE\/ACM CGO. 79--90. https:\/\/ieeexplore.ieee.org\/abstract\/document\/7054189"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00008"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-031--38554--4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-031--38554--4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","unstructured":"Gilles Barthe Benjamin Gr\u00e9goire Vincent Laporte and Swarn Priya. 2021. Structured Leakage and Applications to Cryptographic Constant-Time and Cost. In ACM CCS. 462--476. https:\/\/doi.org\/10.1145\/3460120.3484761","DOI":"10.1145\/3460120.3484761"},{"key":"e_1_3_2_1_15_1","volume-title":"Switchpoline: A Software Mitigation for Spectre-BTB and Spectre-BHB on ARMv8. In ACM AsiaCCS. https:\/\/misc0110.net\/files\/switchpoline%5Fasiaccs24.pdf","author":"Bauer Markus","year":"2024","unstructured":"Markus Bauer, Lorenz Hetterich, Christian Rossow, and Michael Schwarz. 2024. Switchpoline: A Software Mitigation for Spectre-BTB and Spectre-BHB on ARMv8. In ACM AsiaCCS. https:\/\/misc0110.net\/files\/switchpoline%5Fasiaccs24.pdf"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Daniel J. Bernstein. 2006. Curve25519: new Diffie-Hellman speed records. In IACR PKC. 207--228. https:\/\/cr.yp.to\/papers.html#curve25519","DOI":"10.1007\/11745853_14"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2018.00032"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Brad Calder and Dirk Grunwald. 1994. Reducing indirect function call overhead in C programs. In ACM POPL. 397--408. https:\/\/dl.acm.org\/doi\/10.1145\/174675.177973","DOI":"10.1145\/174675.177973"},{"key":"e_1_3_2_1_19_1","volume-title":"Michael Schwarz, Frank Piessens, Dmitry Evtyushkin, and Daniel Gruss.","author":"Canella Claudio","year":"2019","unstructured":"Claudio Canella, Jo Van Bulck, Michael Schwarz, Frank Piessens, Dmitry Evtyushkin, and Daniel Gruss. 2019. A Systematic Evaluation of Transient Execution Attacks and Defenses. In USENIX Security. 249--266. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/canella"},{"key":"e_1_3_2_1_20_1","unstructured":"Chandler Carruth. [n. d.]. Speculative Load Hardening -- A Spectre Variant #1 Mitigation Technique. LLVM documentation. https:\/\/llvm.org\/docs\/SpeculativeLoadHardening.html"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833707"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","unstructured":"Sunjay Cauligi Craig Disselkoen Klaus von Gleissenthall Dean M. Tullsen Deian Stefan Tamara Rezk and Gilles Barthe. 2020. Constant-time foundations for the new Spectre era. In ACM PLDI. 913--926. https:\/\/doi.org\/10.1145\/3385412.3385970","DOI":"10.1145\/3385412.3385970"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Gilles Gilles Barthe Benjamin Gr\u00e9goire Sylvain Heraud and Santiago Zanella B\u00e9guelin. 2011. Computer-Aided Security Proofs for the Working Cryptographer. In IACR CRYPTO. 71--90. https:\/\/iacr.org\/archive\/crypto2011\/68410071\/68410071.pdf","DOI":"10.1007\/978-3-642-22792-9_5"},{"key":"e_1_3_2_1_24_1","unstructured":"Intel. [n. d.]. A Technical Look at Intel's Control-flow Enforcement Technology. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/technical-look-control-flow-enforcement-technology.html"},{"key":"e_1_3_2_1_25_1","unstructured":"Intel documentation. [n. d.]. Data Operand Independent Timing Instruction Set Architecture (ISA) Guidance. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/software-security-guidance\/best-practices\/data-operand-independent-timing-isa-guidance.html"},{"key":"e_1_3_2_1_26_1","unstructured":"Intel Labs. 2018. Retpoline: a software construct for preventing branch-target-injection. https:\/\/www.intel.com\/content\/dam\/develop\/external\/us\/en\/documents\/retpoline-a-branch-target-injection-mitigation.pdf"},{"key":"e_1_3_2_1_27_1","volume-title":"Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, and Yasemin Acar.","author":"Jancar Jan","year":"2022","unstructured":"Jan Jancar, Marcel Fourn\u00e9, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, and Yasemin Acar. 2022. ''They're not that hard to mitigate'': What Cryptographic Library Developers Think About Timing Attacks. In IEEE S&P. 632--649. https:\/\/eprint.iacr.org\/2021\/1650"},{"key":"e_1_3_2_1_28_1","volume-title":"Spectre Attacks: Exploiting Speculative Execution","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 IEEE S&P. 1--19. https:\/\/spectreattack.com\/spectre.pdf"},{"key":"e_1_3_2_1_29_1","unstructured":"Esmaeil Mohammadian Koruyeh Khaled N. Khasawneh Chengyu Song and Nael Abu-Ghazaleh. 2018. Spectre Returns! Speculation Attacks using the Return Stack Buffer. In USENIX WOOT. https:\/\/www.usenix.org\/conference\/woot18\/presentation\/koruyeh"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"Jinku Li Zhi Wang Xuxian Jiang Michael C. Grace and Sina Bahram. 2010. Defeating return-oriented rootkits with ''Return-Less'' kernels. In ACM EuroSys. 195--208. https:\/\/doi.org\/10.1145\/1755913.1755934","DOI":"10.1145\/1755913.1755934"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Giorgi Maisuradze and Christian Rossow. 2018. ret2spec: Speculative Execution Using Return Stack Buffers. In ACM CCS. 2109--2122. https:\/\/dl.acm.org\/doi\/10.1145\/3243734.3243761","DOI":"10.1145\/3243734.3243761"},{"key":"e_1_3_2_1_32_1","volume-title":"Serberus: Protecting Cryptographic Code from Spectres at Compile-Time","author":"Mosier Nicholas","year":"2024","unstructured":"Nicholas Mosier, Hamed Nemati, John C. Mitchell, and Caroline Trippel. 2024. Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. In IEEE S&P. https:\/\/doi.ieeecomputersociety.org\/10.1109\/SP54263.2024.00048"},{"key":"e_1_3_2_1_33_1","volume-title":"Swivel: Hardening WebAssembly against Spectre. In USENIX Security. 1433--1450. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/narayan","author":"Narayan Shravan","year":"2021","unstructured":"Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean Tullsen, and Deian Stefan. 2021. Swivel: Hardening WebAssembly against Spectre. In USENIX Security. 1433--1450. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/narayan"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"Kaan Onarlioglu Leyla Bilge Andrea Lanzi Davide Balzarotti and Engin Kirda. 2010. G-Free: defeating return-oriented programming through gadget-less binaries. In ACM ACSAC. 49--58. https:\/\/doi.org\/10.1145\/1920261.1920269","DOI":"10.1145\/1920261.1920269"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2133375.2133377"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"Hovav Shacham. 2007. The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86). In ACM CCS. 552--561. https:\/\/doi.org\/10.1145\/1315245.1315313","DOI":"10.1145\/1315245.1315313"},{"key":"e_1_3_2_1_37_1","unstructured":"Zhuojia Shen Jie Zhou Divya Ojha and John Criswell. 2019. Restricting Control Flow During Speculative Execution with Venkman. https:\/\/arxiv.org\/abs\/1903.10651v1"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179355"},{"key":"e_1_3_2_1_39_1","volume-title":"RETBLEED: Arbitrary Speculative Code Execution with Return Instructions. In USENIX Security. 3825--3842. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/wikner","author":"Wikner Johannes","year":"2022","unstructured":"Johannes Wikner and Kaveh Razavi. 2022. RETBLEED: Arbitrary Speculative Code Execution with Return Instructions. In USENIX Security. 3825--3842. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/wikner"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","unstructured":"Xuejun Yang Nathan Cooprider and John Regehr. 2009. Eliminating the call stack to save RAM. In ACM LCTES. 60--69. https:\/\/doi.org\/10.1145\/1542452.1542461","DOI":"10.1145\/1542452.1542461"}],"event":{"name":"ASPLOS '25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Rotterdam Netherlands","acronym":"ASPLOS '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676641.3716015","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3676641.3716015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T11:10:43Z","timestamp":1755774643000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676641.3716015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":40,"alternative-id":["10.1145\/3676641.3716015","10.1145\/3676641"],"URL":"https:\/\/doi.org\/10.1145\/3676641.3716015","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}