{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:30:11Z","timestamp":1773246611779,"version":"3.50.1"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100002418","name":"Intel Corp.","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,28]]},"DOI":"10.1109\/iccad57390.2023.10323843","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:58:45Z","timestamp":1701370725000},"page":"1-9","source":"Crossref","is-referenced-by-count":10,"title":["Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL"],"prefix":"10.1109","author":[{"given":"Tobias","family":"Jauch","sequence":"first","affiliation":[{"name":"RPTU Kaiserslautern-Landau,Germany"}]},{"given":"Alex","family":"Wezel","sequence":"additional","affiliation":[{"name":"RPTU Kaiserslautern-Landau,Germany"}]},{"given":"Mohammad R.","family":"Fadiheh","sequence":"additional","affiliation":[{"name":"Stanford University,USA"}]},{"given":"Philipp","family":"Schmitz","sequence":"additional","affiliation":[{"name":"RPTU Kaiserslautern-Landau,Germany"}]},{"given":"Sayak","family":"Ray","sequence":"additional","affiliation":[{"name":"Intel Corporation,USA"}]},{"given":"Jason M.","family":"Fung","sequence":"additional","affiliation":[{"name":"Intel Corporation,USA"}]},{"given":"Christopher W.","family":"Fletcher","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign,USA"}]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[{"name":"RPTU Kaiserslautern-Landau,Germany"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[{"name":"RPTU Kaiserslautern-Landau,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"ref2","first-page":"973","article-title":"Meltdown: Reading Kernel Memory from User Space","volume-title":"27th USENIX Security Symposium","author":"Lipp"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446708"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833570"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3358960.3379139"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358274"},{"key":"ref7","article-title":"DOLMA: Securing speculation with the principle of transient non-observability","volume-title":"30th USENIX Security Symposium","author":"Loughlin"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358306"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3152666"},{"key":"ref11","article-title":"SonicBOOM: The 3rd Generation Berkeley Out-of-Order Machine","volume-title":"Fourth Workshop on Computer Architecture Research with RISC-V","author":"Zhao"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304060"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00042"},{"key":"ref14","article-title":"ReversiSpec: Reversible Coherence Protocol for Defending Transient Attacks","author":"Wu","year":"2020","journal-title":"arXiv"},{"key":"ref15","first-page":"723","article-title":"Efficient Invisible Speculative Execution through Selective Delay and Value Prediction","volume-title":"Proc. of the 46th Intl. Symp. on Computer Architecture","author":"Sakalis"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2019.00043"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00036"},{"key":"ref18","first-page":"1","article-title":"SpectreGuard: An Efficient Data-Centric Defense Mechanism Against Spectre Attacks","volume-title":"Proc. of the 56th Annual Design Automation Conference","author":"Fustos"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24271"},{"key":"ref20","article-title":"ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended Version)","author":"Daniel","year":"2023","journal-title":"arXiv preprint"},{"key":"ref21","first-page":"1481","article-title":"SpecFuzz: Bringing Spectre-Type Vulnerabilities to the Surface","volume-title":"29th USENIX Security Symposium","author":"Oleksenko"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00073"},{"key":"ref23","first-page":"1","article-title":"HyperFuzzing for SoC Security Validation","volume-title":"Proc. of the 39th Intl. Conference on Computer-Aided Design","author":"Muduli"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.326"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2713393"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16458-4_27"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715004"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218572"},{"key":"ref29","article-title":"Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees","volume-title":"2023 USENIX Security Conference","author":"Mehmedagi\u0107"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530981"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586248"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3399742"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.44"},{"key":"ref34","first-page":"22","article-title":"FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack","volume-title":"23rd USENIX Security Symposium","author":"Yarom"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2285276"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/isca52012.2021.00035"},{"key":"ref37","article-title":"Secure Speculation Execution via RISC-V Open Hardware Design","volume-title":"Fifth Workshop on RISC-V for Computer Architecture Research","author":"Sabbagh"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011276507260"},{"key":"ref39","article-title":"BOOM - An open-source out-of-order processor","volume-title":"Chisel Community Conference","author":"Celio","year":"2021"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1186736.1186737"},{"key":"ref41","article-title":"Exploring CoreMark a Benchmark Maximizing Simplicity and Efficacy","author":"Gal-On","year":"2012","journal-title":"The Embd. Microproc. Benchmark Cons."},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00064"}],"event":{"name":"2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","location":"San Francisco, CA, USA","start":{"date-parts":[[2023,10,28]]},"end":{"date-parts":[[2023,11,2]]}},"container-title":["2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323590\/10323543\/10323843.pdf?arnumber=10323843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T04:52:28Z","timestamp":1710391948000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10323843\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,28]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/iccad57390.2023.10323843","relation":{},"subject":[],"published":{"date-parts":[[2023,10,28]]}}}