{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:25:31Z","timestamp":1784211931843,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,4]],"date-time":"2024-11-04T00:00:00Z","timestamp":1730678400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NSF","award":["CNS-2225441"],"award-info":[{"award-number":["CNS-2225441"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,4]]},"DOI":"10.1145\/3694715.3695956","type":"proceedings-article","created":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T19:28:18Z","timestamp":1731698898000},"page":"655-672","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9355-6857","authenticated-orcid":false,"given":"Anish","family":"Athalye","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, US"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-7577-4512","authenticated-orcid":false,"given":"Henry","family":"Corrigan-Gibbs","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, US"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7098-586X","authenticated-orcid":false,"given":"Frans","family":"Kaashoek","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, US"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5692-3347","authenticated-orcid":false,"given":"Joseph","family":"Tassarotti","sequence":"additional","affiliation":[{"name":"New York University, New York, NY, US"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0238-2703","authenticated-orcid":false,"given":"Nickolai","family":"Zeldovich","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, US"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,11,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"September","year":"2004","unstructured":"CVE-2004-0320. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2004-0320, September 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"April","year":"2015","unstructured":"YSA-2015-1. https:\/\/developers.yubico.com\/ykneo-openpgp\/SecurityAdvisory%202015-04-14.html, April 2015."},{"key":"e_1_3_2_1_3_1","volume-title":"February","year":"2018","unstructured":"CVE-2018-6875. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2018-6875, February 2018."},{"key":"e_1_3_2_1_4_1","volume-title":"January","year":"2018","unstructured":"YSA-2018-01. https:\/\/www.yubico.com\/support\/security-advisories\/ysa-2018-01\/, January 2018."},{"key":"e_1_3_2_1_5_1","volume-title":"November","year":"2019","unstructured":"CVE-2019-18671. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2019-18671, November 2019."},{"key":"e_1_3_2_1_6_1","volume-title":"November","year":"2019","unstructured":"CVE-2019-18672. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2019-18672, November 2019."},{"key":"e_1_3_2_1_7_1","volume-title":"July","year":"2020","unstructured":"YSA-2020-04. https:\/\/www.yubico.com\/support\/security-advisories\/ysa-2020-04\/, July 2020."},{"key":"e_1_3_2_1_8_1","volume-title":"April","year":"2021","unstructured":"CVE-2021-31616. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2021-31616, April 2021."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2002 IACR Workshop on Cryptographic Hardware and Embedded Systems (CHES)","author":"Agrawal Dakshi","year":"2002","unstructured":"Dakshi Agrawal, Bruce Archambeault, Josyula R. Rao, and Pankaj Rohatgi. The EM side-channel(s). In Proceedings of the 2002 IACR Workshop on Cryptographic Hardware and Embedded Systems (CHES), Redwood City, CA, August 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-642-15057-9_5","volume-title":"Proceedings of the 3rd Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)","author":"Alkassar Eyad","year":"2010","unstructured":"Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, and Alexandra Tsyban. Pervasive verification of an OS microkernel: Inline assembly, memory consumption, concurrent devices. In Proceedings of the 3rd Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), pages 71--85, Edinburgh, United Kingdom, August 2010."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3241094.3241100"},{"key":"e_1_3_2_1_12_1","volume-title":"November","author":"Limited ARM","year":"2016","unstructured":"ARM Limited. ARM Cortex-M3 processor technical reference manual. https:\/\/developer.arm.com\/documentation\/100165\/latest\/, November 2016. Revision r2p1."},{"key":"e_1_3_2_1_14_1","first-page":"503","volume-title":"Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Athalye Anish","year":"2022","unstructured":"Anish Athalye, M. Frans Kaashoek, and Nickolai Zeldovich. Verifying hardware security modules with information-preserving refinement. In Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 503--519, Carlsbad, CA, July 2022."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-030-03592-1_12","volume-title":"Proceedings of the 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)","author":"Athanasiou Konstantinos","year":"2018","unstructured":"Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacC\u00e1rthaigh, Daniel Schwartz-Narbonne, and Serdar Tasiran. SideTrail: Verifying time-balancing of cryptosystems. In Proceedings of the 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), pages 215--228, Oxford, United Kingdom, July 2018."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 42nd IEEE Symposium on Security and Privacy, pages 777--795, Virtual conference","author":"Barbosa Manuel","year":"2021","unstructured":"Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, and Bryan Parno. SoK: Computer-aided cryptography. In Proceedings of the 42nd IEEE Symposium on Security and Privacy, pages 777--795, Virtual conference, May 2021."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 47th ACM Symposium on Principles of Programming Languages (POPL)","author":"Barthe Gilles","year":"2020","unstructured":"Gilles Barthe, Sandrine Blazy, Benjamin Gr\u00e9goire, R\u00e9mi Hutin, Vincent Laporte, David Pichardie, and Alix Trieu. Formal verification of a constant-time preserving C compiler. In Proceedings of the 47th ACM Symposium on Principles of Programming Languages (POPL), New Orleans, LA, January 2020."},{"key":"e_1_3_2_1_18_1","volume-title":"August","author":"B\u00e9drune Jean-Baptiste","year":"2019","unstructured":"Jean-Baptiste B\u00e9drune and Gabriel Campana. Everybody be cool, this is a robbery! https:\/\/donjon.ledger.com\/BlackHat2019-presentation\/, August 2019."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/83471.83475"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-181136"},{"key":"e_1_3_2_1_21_1","first-page":"645","volume-title":"Proceedings of the 33rd International Conference on Computer Aided Verification (CAV)","author":"Boston Brett","year":"2021","unstructured":"Brett Boston, Samuel Breese, Josiah Dodds, Mike Dodds, Brian Huffman, Adam Petcher, and Andrei Stefanescu. Verified cryptographic code for everybody. In Proceedings of the 33rd International Conference on Computer Aided Verification (CAV), pages 645--668, Los Angeles, CA, July 2021."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3007788.3007789"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385970"},{"key":"e_1_3_2_1_24_1","volume-title":"March","author":"Cheli Dominic","year":"2015","unstructured":"Dominic Cheli. Apple iOS hardware assisted screen-lock bruteforce. https:\/\/www.mdsec.co.uk\/2015\/03\/apple-ios-hardware-assisted-screenlock-bruteforce\/, March 2015."},{"key":"e_1_3_2_1_25_1","first-page":"299","volume-title":"Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS)","author":"Chen Yu-Fang","year":"2014","unstructured":"Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, and Shang-Yi Yang. Verifying Curve25519 software. In Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS), pages 299--309, Scottsdale, AZ, November 2014."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908100"},{"key":"e_1_3_2_1_27_1","volume-title":"February","author":"Cremonese Filippo","year":"2020","unstructured":"Filippo Cremonese. Security analysis of the Solo firmware. https:\/\/blog.doyensec.com\/2020\/02\/19\/solokeys-audit.html, February 2020."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00005"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Virtual conference","author":"Erbsen Andres","year":"2021","unstructured":"Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala. Integration verification across software and hardware for a simple embedded system. In Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Virtual conference, June 2021."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"Erbsen Andres","year":"2024","unstructured":"Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Cl\u00e9ment Pit-Claudel, and Adam Chlipala. Foundational integration verification of a cryptographic server. In Proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Copenhagen, Denmark, June 2024."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127323"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132782"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the 14th ACM EuroSys Conference","author":"Ge Qian","year":"2019","unstructured":"Qian Ge, Yuval Yarom, Tom Chothia, and Gernot Heiser. Time protection: The missing OS abstraction. In Proceedings of the 14th ACM EuroSys Conference, Dresden, Germany, March 2019."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676975"},{"key":"e_1_3_2_1_37_1","first-page":"653","volume-title":"Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Gu Ronghui","year":"2016","unstructured":"Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sj\u00f6berg, and David Costanzo. CertiKOS: An extensible architecture for building certified concurrent OS kernels. In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 653--669, Savannah, GA, November 2016."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 42nd IEEE Symposium on Security and Privacy, pages 1868--1883, Virtual conference","author":"Guarnieri Marco","year":"2021","unstructured":"Marco Guarnieri, Boris K\u00f6pf, Jan Reineke, and Pepe Vila. Hardware-software contracts for secure speculation. In Proceedings of the 42nd IEEE Symposium on Security and Privacy, pages 1868--1883, Virtual conference, May 2021."},{"key":"e_1_3_2_1_39_1","first-page":"165","volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Hawblitzel Chris","year":"2014","unstructured":"Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, and Brian Zill. Ironclad Apps: End-to-end security via automated full-system verification. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 165--181, Broomfield, CO, October 2014."},{"key":"e_1_3_2_1_40_1","first-page":"219","volume-title":"Proceedings of the 12th Smart Card Research and Advanced Application Conference (CARDIS)","author":"Hutter Michael","year":"2013","unstructured":"Michael Hutter and J\u00f6rn-Marc Schmidt. The temperature side channel and heating fault attacks. In Proceedings of the 12th Smart Card Research and Advanced Application Conference (CARDIS), pages 219--235, Berlin, Germany, November 2013."},{"issue":"4","key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.46586\/tches.v2020.i4.281-308","article-title":"The curse of ECDSA nonces (systematic analysis of lattice attacks on noisy leakage of bit-length of ECDSA nonces)","volume":"2020","author":"Jancar Jan","year":"2020","unstructured":"Jan Jancar, Vladimir Sedlacek, Petr Svenda, and Marek Sys. Minerva: The curse of ECDSA nonces (systematic analysis of lattice attacks on noisy leakage of bit-length of ECDSA nonces). IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020(4): 281--308, 2020.","journal-title":"IACR Transactions on Cryptographic Hardware and Embedded Systems"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_43_1","first-page":"465","volume-title":"Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Li Xupeng","year":"2022","unstructured":"Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, and Gareth Stockwell. Design and verification of the Arm confidential compute architecture. In Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 465--484, Carlsbad, CA, July 2022."},{"key":"e_1_3_2_1_44_1","unstructured":"lowRISC. OpenTitan: Open source silicon root of trust. https:\/\/opentitan.org."},{"key":"e_1_3_2_1_45_1","volume-title":"Ibex RISC-V Core. https:\/\/github.com\/lowRISC\/ibex","author":"RISC.","year":"2015","unstructured":"lowRISC. Ibex RISC-V Core. https:\/\/github.com\/lowRISC\/ibex, 2015."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1134"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314622"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44499-8_6"},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings of the 29th USENIX Security Symposium, pages 2057--2073, Virtual conference","author":"Moghimi Daniel","year":"2020","unstructured":"Daniel Moghimi, Berk Sunar, Thomas Eisenbarth, and Nadia Heninger. TPM-FAIL: TPM meets timing and lattice attacks. In Proceedings of the 29th USENIX Security Symposium, pages 2057--2073, Virtual conference, August 2020."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527412"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35308-6_12"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.35"},{"key":"e_1_3_2_1_53_1","first-page":"83","volume-title":"Proceedings of the 21st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"Necula George C.","year":"2000","unstructured":"George C. Necula. Translation validation for an optimizing compiler. In Proceedings of the 21st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 83--94, Vancouver, Canada, June 2000."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3421473.3421478"},{"key":"e_1_3_2_1_55_1","unstructured":"Nitrokey. Nitrokey HSM 2. https:\/\/shop.nitrokey.com\/shop\/nkhs2-nitrokey-hsm-2-7."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/646482.691453"},{"key":"e_1_3_2_1_57_1","unstructured":"Thomas Pornin. BearSSL constant-time mul. https:\/\/bearssl.org\/ctmul.html."},{"key":"e_1_3_2_1_58_1","volume-title":"Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP)","author":"Protzenko Jonathan","year":"2017","unstructured":"Jonathan Protzenko, Jean-Karim Zinzindohou\u00e9, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-B\u00e9guelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, C\u00e9dric Fournet, and Nikhil Swamy. Verified low-level programming embedded in F*. In Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP), Oxford, United Kingdom, September 2017."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00114"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462183"},{"key":"e_1_3_2_1_62_1","first-page":"287","volume-title":"Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Sigurbjarnarson Helgi","year":"2018","unstructured":"Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang. Nickel: A framework for design and verification of information flow control systems. In Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 287--306, Carlsbad, CA, October 2018."},{"key":"e_1_3_2_1_63_1","first-page":"103","volume-title":"Proceedings of the 25th International Symposium on Formal Methods (FM)","author":"Sison Robert","year":"2023","unstructured":"Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, and Gernot Heiser. Formalising the prevention of microarchitectural timing channels by operating systems. In Proceedings of the 25th International Symposium on Formal Methods (FM), pages 103--121, L\u00fcbeck, Germany, March 2023."},{"key":"e_1_3_2_1_64_1","unstructured":"Richard M. Stallman. Using the GNU compiler collection. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837655"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.8161141"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594340"},{"key":"e_1_3_2_1_69_1","volume-title":"June","author":"Uekermann Florian","year":"2016","unstructured":"Florian Uekermann. Buggy OTP slot range check. https:\/\/github.com\/Nitrokey\/nitrokey-profirmware\/issues\/4, June 2016."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1996-42-304"},{"key":"e_1_3_2_1_71_1","first-page":"2128","volume-title":"Proceedings of the 30th ACM Conference on Computer and Communications Security (CCS)","author":"Wang Zilong","year":"2023","unstructured":"Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, and Marco Guarnieri. Specification and verification of side-channel security for open-source processors via leakage contracts. In Proceedings of the 30th ACM Conference on Computer and Communications Security (CCS), pages 2128--2142, Copenhagen, Denmark, November 2023."},{"key":"e_1_3_2_1_72_1","first-page":"1","volume-title":"Proceedings of the 46th ACM Symposium on Principles of Programming Languages (POPL)","author":"Watt Conrad","year":"2019","unstructured":"Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, and Deian Stefan. CT-wasm: type-driven secure cryptography for the web ecosystem. In Proceedings of the 46th ACM Symposium on Principles of Programming Languages (POPL), pages 77:1--77:29, Cascais, Portugal, January 2019."},{"key":"e_1_3_2_1_73_1","volume-title":"Yosys Open SYnthesis Suite. https:\/\/github.com\/YosysHQ\/yosys","author":"Wolf Claire Xenia","year":"2012","unstructured":"Claire Xenia Wolf. Yosys Open SYnthesis Suite. https:\/\/github.com\/YosysHQ\/yosys, 2012."},{"key":"e_1_3_2_1_74_1","volume-title":"PicoRV32 - a size-optimized RISC-V CPU. https:\/\/github.com\/YosysHQ\/picorv32","author":"Wolf Claire Xenia","year":"2015","unstructured":"Claire Xenia Wolf. PicoRV32 - a size-optimized RISC-V CPU. https:\/\/github.com\/YosysHQ\/picorv32, 2015."},{"key":"e_1_3_2_1_75_1","unstructured":"Yubico. YubiHSM 2. https:\/\/www.yubico.com\/product\/yubihsm-2\/."},{"key":"e_1_3_2_1_76_1","volume-title":"Paper 2005\/388","author":"Zhou Yongbin","year":"2005","unstructured":"Yongbin Zhou and Dengguo Feng. Side-channel attacks: Ten years after its publication and the impacts on cryptographic module security testing. Cryptology ePrint Archive, Paper 2005\/388, October 2005."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134043"}],"event":{"name":"SOSP '24: ACM SIGOPS 30th Symposium on Operating Systems Principles","location":"Austin TX USA","acronym":"SOSP '24","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3694715.3695956","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3694715.3695956","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:05:47Z","timestamp":1750291547000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3694715.3695956"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,4]]},"references-count":75,"alternative-id":["10.1145\/3694715.3695956","10.1145\/3694715"],"URL":"https:\/\/doi.org\/10.1145\/3694715.3695956","relation":{},"subject":[],"published":{"date-parts":[[2024,11,4]]},"assertion":[{"value":"2024-11-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}