{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T06:11:04Z","timestamp":1758089464865,"version":"3.44.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1109\/dac63849.2025.11132905","type":"proceedings-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T17:35:41Z","timestamp":1757957741000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["FastPath: A Hybrid Approach for Efficient Hardware Security Verification"],"prefix":"10.1109","author":[{"given":"Lucas","family":"Deutschmann","sequence":"first","affiliation":[{"name":"RPTU Kaiserslautern-Landau,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andres","family":"Meza","sequence":"additional","affiliation":[{"name":"UC San Diego,San Diego,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[{"name":"RPTU Kaiserslautern-Landau,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[{"name":"RPTU Kaiserslautern-Landau,Kaiserslautern,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan Kastner","family":"Rptu","sequence":"additional","affiliation":[{"name":"UC San Diego,San Diego,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-017-0152-y"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1145\/3357033","article-title":"Meltdown: Reading kernel memory from user space","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Lipp"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833570"},{"key":"ref5","first-page":"1","article-title":"GoFetch: Breaking constant-time cryptographic implementations using data memory-dependent prefetchers","volume-title":"USENIX Security Symposium","author":"Chen"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358274"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23061"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385970"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24271"},{"key":"ref10","first-page":"1397","article-title":"DOLMA: Securing speculation with the principle of transient Non-Observability","volume-title":"30th USENIX Security Symposium (USENIX Security 21).","author":"Loughlin"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323843"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.19"},{"year":"2024","key":"ref13","article-title":"A beginner\u2019s guide to constant-time cryptography"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243766"},{"year":"2024","key":"ref15","article-title":"Data operand independent timing ISA guidance"},{"year":"2024","key":"ref16","article-title":"Arm Armv8-A architecture registers"},{"year":"2024","key":"ref17","article-title":"RISC-V cryptography extension"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00035"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3152666"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3374249"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3447867"},{"article-title":"Information flow coverage metrics for hardware security verification","year":"2023","author":"Meza","key":"ref24"},{"year":"2024","key":"ref25","article-title":"OpenHW Group CORE-V CV32E40S RISC-V IP"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484810"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00180"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690344"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3623652.3623666"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2285276"},{"key":"ref31","article-title":"FastPath repository"},{"key":"ref32","article-title":"Cycuity Radix"},{"key":"ref33","article-title":"Siemens EDA OneSpin 360"},{"year":"2018","key":"ref34","article-title":"SHA cores"},{"year":"2018","key":"ref35","article-title":"AES IP core"},{"year":"2023","key":"ref36","article-title":"secworks aes"},{"year":"2024","key":"ref37","article-title":"The Zip CPU"},{"year":"2022","key":"ref38","article-title":"FWRISC"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/LATS62223.2024.10534597"},{"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":"ref40"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/iccad.2000.896461"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1996.563581"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203772"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623192"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO61859.2024.00045"}],"event":{"name":"2025 62nd ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2025,6,22]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2025,6,25]]}},"container-title":["2025 62nd ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11132383\/11132091\/11132905.pdf?arnumber=11132905","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T05:24:38Z","timestamp":1758000278000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11132905\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/dac63849.2025.11132905","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]}}}