{"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":1772725550357,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,21]]},"DOI":"10.1145\/3695053.3731048","type":"proceedings-article","created":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T16:43:11Z","timestamp":1750437791000},"page":"78-91","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3219-7544","authenticated-orcid":false,"given":"Ali","family":"Hajiabadi","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8742-134X","authenticated-orcid":false,"given":"Trevor E.","family":"Carlson","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,20]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1995.380415"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134078"},{"key":"e_1_3_3_2_4_2","volume-title":"USENIX Security Symposium","author":"Almeida Jos\u00e9\u00a0Bacelar","year":"2016","unstructured":"Jos\u00e9\u00a0Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Fran\u00e7ois Dupressoir, and Michael Emmi. 2016. Verifying Constant-Time Implementations. In USENIX Security Symposium."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670319"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00046"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Gary Benson. 1999. Tandem repeats finder: a program to analyze DNA sequences. Nucleic Acids Research (1999).","DOI":"10.1093\/nar\/27.2.573"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33481-8_9"},{"key":"e_1_3_3_2_9_2","unstructured":"Derek Bruening and Saman Amarasinghe. 2004. Efficient transparent and comprehensive runtime code manipulation. Ph.D. Dissertation Massachusetts Institute of Technology Department of Electrical Engineering (2004)."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363219"},{"key":"e_1_3_3_2_11_2","volume-title":"USENIX Security Symposium","author":"Canella Claudio","year":"2019","unstructured":"Claudio Canella, Jo Van\u00a0Bulck, Michael Schwarz, Moritz Lipp, Benjamin Von\u00a0Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin, and Daniel Gruss. 2019. A systematic evaluation of transient execution attacks and defenses. In USENIX Security Symposium."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385970"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833707"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA57654.2024.00013"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623065"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480068"},{"key":"e_1_3_3_2_17_2","unstructured":"curve25519-donna 2008. curve25519-donna. https:\/\/code.google.com\/archive\/p\/curve25519-donna\/. Accessed 05-04-2024."},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24286"},{"key":"e_1_3_3_2_19_2","volume-title":"USENIX Security Symposium","author":"Daniel Lesly-Ann","year":"2023","unstructured":"Lesly-Ann Daniel, Marton Bognar, Job Noorman, S\u00e9bastien Bardin, Tamara Rezk, and Frank Piessens. 2023. ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. In USENIX Security Symposium."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173204"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317914"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00011"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00036"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380428"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3655894"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3655895"},{"key":"e_1_3_3_2_27_2","unstructured":"Ali Hajiabadi and Trevor\u00a0E Carlson. 2025. Cassandra: Efficient Enforcement of Sequential Execution for Cryprographic Programs (Extended Version). arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2406.04290 (2025)."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446726"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3607199.3607248"},{"key":"e_1_3_3_2_30_2","unstructured":"Jann Horn. 2018. speculative execution variant 4: speculative store bypass."},{"key":"e_1_3_3_2_31_2","unstructured":"intel-affected-cpus [n. d.]. Affected Processors: Guidance for Security Issues on Intel Processors. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/articles\/software-security-guidance\/secure-coding\/mitigate-timing-side-channel-crypto-implementation.html. Accessed 20-11-2023."},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2001.953291"},{"key":"e_1_3_3_2_33_2","unstructured":"KConfig 2024. Linux Timer Interrupt Frequency Configuration. https:\/\/github.com\/torvalds\/linux\/blob\/5be63fc19fcaa4c236b307420483578a56986a37\/kernel\/Kconfig.hz. Accessed 20-08-2024."},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00017"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317903"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"e_1_3_3_2_37_2","volume-title":"USENIX Workshop on Offensive Technologies (WOOT)","author":"Koruyeh Esmaeil\u00a0Mohammadian","year":"2018","unstructured":"Esmaeil\u00a0Mohammadian Koruyeh, Khaled\u00a0N. Khasawneh, Chengyu Song, and Nael Abu-Ghazaleh. 2018. Spectre Returns! Speculation Attacks using the Return Stack Buffer. In USENIX Workshop on Offensive Technologies (WOOT)."},{"key":"e_1_3_3_2_38_2","unstructured":"Kyber 2020. Kyber - Cryptographic suite for algebraic lattices. https:\/\/pq-crystals.org\/kyber\/index.shtml. Accessed 20-08-2024."},{"key":"e_1_3_3_2_39_2","unstructured":"Sheng Li Jung\u00a0Ho Ahn Richard\u00a0D Strong Jay\u00a0B Brockman Dean\u00a0M Tullsen and Norman\u00a0P Jouppi. 2013. The McPAT framework for multicore and manycore architectures: Simultaneously modeling power area and timing. ACM Transactions on Architecture and Code Optimization (TACO) (2013)."},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105405"},{"key":"e_1_3_3_2_41_2","volume-title":"USENIX Security Symposium","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 USENIX Security Symposium."},{"key":"e_1_3_3_2_42_2","unstructured":"Lock Elision 2021. Hardware Lock Elision Overview. https:\/\/www.intel.com\/content\/www\/us\/en\/docs\/cpp-compiler\/developer-guide-reference\/2021-8\/hardware-lock-elision-overview.html. Accessed 23-11-2023."},{"key":"e_1_3_3_2_43_2","volume-title":"USENIX Security Symposium","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 USENIX Security Symposium."},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"crossref","unstructured":"Guillaume Mar\u00e7ais and Carl Kingsford. 2011. A fast lock-free approach for efficient parallel counting of occurrences of k-mers. Bioinformatics (2011).","DOI":"10.1093\/bioinformatics\/btr011"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00048"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"crossref","unstructured":"Yoav Nir and Adam Langley. 2018. ChaCha20 and Poly1305 for IETF Protocols. https:\/\/www.rfc-editor.org\/rfc\/rfc8439.","DOI":"10.17487\/RFC8439"},{"key":"e_1_3_3_2_48_2","volume-title":"USENIX Security Symposium","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 USENIX Security Symposium."},{"key":"e_1_3_3_2_49_2","unstructured":"OpenSSL 2024. OpenSSL - TLS\/SSL and crypto library v3.2.2. https:\/\/github.com\/openssl\/openssl\/tree\/openssl-3.2.2. Accessed 20-08-2024."},{"key":"e_1_3_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3123969"},{"key":"e_1_3_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3549330"},{"key":"e_1_3_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323979"},{"key":"e_1_3_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643462"},{"key":"e_1_3_3_2_54_2","unstructured":"Popping the Hood on Golden Cove 2021. Popping the Hood on Golden Cove. https:\/\/chipsandcheese.com\/2021\/12\/02\/popping-the-hood-on-golden-cove\/."},{"key":"e_1_3_3_2_55_2","unstructured":"Thomas Pornin. 2018. BearSSL - Constant-Time Crypto Library. https:\/\/www.bearssl.org. Accessed 22-11-2023."},{"key":"e_1_3_3_2_56_2","volume-title":"USENIX Security Symposium","author":"Puddu Ivan","year":"2021","unstructured":"Ivan Puddu, Moritz Schneider, Miro Haller, and Srdjan \u010capkun. 2021. Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend. In USENIX Security Symposium."},{"key":"e_1_3_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24466"},{"key":"e_1_3_3_2_58_2","volume-title":"USENIX Security Symposium","author":"Reis Charles","year":"2019","unstructured":"Charles Reis, Alexander Moshchuk, and Nasko Oskov. 2019. Site isolation: Process separation for websites within the browser. In USENIX Security Symposium."},{"key":"e_1_3_3_2_59_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1996.566447"},{"key":"e_1_3_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1997.645805"},{"key":"e_1_3_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358314"},{"key":"e_1_3_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322216"},{"key":"e_1_3_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24271"},{"key":"e_1_3_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354252"},{"key":"e_1_3_3_2_65_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17146-8_9"},{"key":"e_1_3_3_2_66_2","unstructured":"scikit-bio 2014. scikit-bio Python Library. https:\/\/scikit.bio\/docs\/latest\/index.html. Accessed 23-11-2023."},{"key":"e_1_3_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605403"},{"key":"e_1_3_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179355"},{"key":"e_1_3_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179418"},{"key":"e_1_3_3_2_70_2","unstructured":"SPHINCS+ 2020. SPHINCS+ - Stateless hash-based signatures. https:\/\/sphincs.org\/. Accessed 20-08-2024."},{"key":"e_1_3_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304060"},{"key":"e_1_3_3_2_72_2","volume-title":"USENIX Security Symposium","author":"Van\u00a0Bulck Jo","year":"2018","unstructured":"Jo Van\u00a0Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas\u00a0F Wenisch, Yuval Yarom, and Raoul Strackx. 2018. Foreshadow: Extracting the keys to the Intel SGX kingdom with transient out-of-order execution. In USENIX Security Symposium."},{"key":"e_1_3_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00087"},{"key":"e_1_3_3_2_74_2","doi-asserted-by":"crossref","unstructured":"Marco Vassena Craig Disselkoen Klaus\u00a0von Gleissenthall Sunjay Cauligi Rami\u00a0G\u00f6khan K\u0131c\u0131 Ranjit Jhala Dean Tullsen and Deian Stefan. 2021. Automatically eliminating speculative leaks from cryptographic code with blade. ACM Symposium on Principles of Programming Languages (POPL) (2021).","DOI":"10.1145\/3410264"},{"key":"e_1_3_3_2_75_2","doi-asserted-by":"crossref","unstructured":"Guanhua Wang Sudipta Chattopadhyay Arnab\u00a0Kumar Biswas Tulika Mitra and Abhik Roychoudhury. 2020. KLEESpectre: Detecting information leakage through speculative cache attacks via symbolic execution. ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).","DOI":"10.1145\/3385897"},{"key":"e_1_3_3_2_76_2","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_3_2_77_2","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358306"},{"key":"e_1_3_3_2_78_2","volume-title":"USENIX Security Symposium","author":"Wikner Johannes","year":"2022","unstructured":"Johannes Wikner and Kaveh Razavi. 2022. RETBLEED: Arbitrary Speculative Code Execution with Return Instructions. In USENIX Security Symposium."},{"key":"e_1_3_3_2_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314647"},{"key":"e_1_3_3_2_80_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00042"},{"key":"e_1_3_3_2_81_2","doi-asserted-by":"publisher","DOI":"10.1145\/3620666.3651382"},{"key":"e_1_3_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23061"},{"key":"e_1_3_3_2_83_2","volume-title":"IEEE\/ACM International Symposium on Microarchitecture (MICRO)","author":"Yu Jiyong","year":"2019","unstructured":"Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, and Christopher\u00a0W Fletcher. 2019. Speculative taint tracking (STT) a comprehensive protection for speculatively accessed data. In IEEE\/ACM International Symposium on Microarchitecture (MICRO)."},{"key":"e_1_3_3_2_84_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00022"},{"key":"e_1_3_3_2_85_2","volume-title":"USENIX Security Symposium","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 USENIX Security Symposium."},{"key":"e_1_3_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00094"},{"key":"e_1_3_3_2_87_2","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134043"}],"event":{"name":"ISCA '25: Proceedings of the 52nd Annual International Symposium on Computer Architecture","location":"Tokyo Japan","acronym":"SIGARCH '25","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 52nd Annual International Symposium on Computer Architecture"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3695053.3731048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T10:57:01Z","timestamp":1750503421000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3695053.3731048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,20]]},"references-count":86,"alternative-id":["10.1145\/3695053.3731048","10.1145\/3695053"],"URL":"https:\/\/doi.org\/10.1145\/3695053.3731048","relation":{},"subject":[],"published":{"date-parts":[[2025,6,20]]},"assertion":[{"value":"2025-06-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}