{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T06:00:24Z","timestamp":1780639224887,"version":"3.54.1"},"reference-count":46,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"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":[[2026,4,20]]},"DOI":"10.23919\/date69613.2026.11539167","type":"proceedings-article","created":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T19:53:10Z","timestamp":1780602790000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Focus Session: Advanced Hybrid Hardware Fuzzing"],"prefix":"10.23919","author":[{"given":"Chen","family":"Chen","sequence":"first","affiliation":[{"name":"Texas A&M University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"Muttathil","sequence":"additional","affiliation":[{"name":"Texas A&M University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamadreza","family":"Rostami","sequence":"additional","affiliation":[{"name":"Technische Universität Darmstadt"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikhilesh","family":"Singh","sequence":"additional","affiliation":[{"name":"Technische Universität Darmstadt"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lichao","family":"Wu","sequence":"additional","affiliation":[{"name":"Technische Universität Darmstadt"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ahmad-Reza","family":"Sadeghi","sequence":"additional","affiliation":[{"name":"Technische Universität Darmstadt"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeyavijayan","family":"Rajendran","sequence":"additional","affiliation":[{"name":"Texas A&M University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"213","article-title":"HardFails: Insights into Software-Exploitable Hardware Bugs","volume-title":"USENIX Security Symposium","author":"Dessouky"},{"key":"ref2","article-title":"National Vulnerability Database","year":"2023"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1145\/3357033","article-title":"Meltdown: Reading Kernel Memory from User Space","volume-title":"USENIX Security Symposium","author":"Lipp"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"ref5","article-title":"Introduction to Formal Verification","author":"Kukimoto","year":"2011"},{"key":"ref6","article-title":"RISC-V Webpage","year":"2021"},{"key":"ref7","article-title":"Fuzzing Hardware Like Software","volume-title":"USENIX Security Symposium","author":"Trippel"},{"key":"ref8","first-page":"3219","article-title":"TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities","volume-title":"USENIX Security Symposium","author":"Kande"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00103"},{"key":"ref10","first-page":"5341","article-title":"Cascade: CPU fuzzing via intricate program generation","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Solt"},{"key":"ref11","first-page":"1361","article-title":"HyPFuzz: Formal-Assisted processor fuzzing","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Chen"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323913"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546726"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546625"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3725843.3756131"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3447867"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS51556.2021.9401267"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC58780.2024.10473911"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3760529"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD66269.2025.11240887"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/AINIT65432.2025.11035233"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC66049.2026.11420533"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323726"},{"key":"ref25","article-title":"WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors","volume-title":"USENIX Security Symposium","author":"Borkar"},{"key":"ref26","first-page":"1","article-title":"Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection","volume-title":"ACM\/IEEE Design Automation Conference","author":"Rostami"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3676642.3736115"},{"key":"ref28","article-title":"Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks","author":"de Faveri Tron","year":"2025","journal-title":"USENIX Security"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3719027.3765066"},{"key":"ref30","article-title":"Cache Attacks and Counter-measures: The Case of AES","volume-title":"The Cryptographers\u2019 Track at the RSA Conference","author":"Osvik"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40667-1_14"},{"key":"ref32","article-title":"CVE-2023-20593 Detail","year":"2023"},{"key":"ref33","article-title":"Downfall: Exploiting speculative data gathering","author":"Moghimi","year":"2023","journal-title":"USENIX Security"},{"key":"ref34","article-title":"(m)wait for it: Bridging the gap between microarchitectural and architectural side channels","author":"Z","year":"2023","journal-title":"USENIX Security"},{"key":"ref35","article-title":"\u00c6PIC leak: Architecturally leaking uninitialized data from the microarchitecture","author":"B","year":"2022","journal-title":"USENIX Security"},{"key":"ref36","article-title":"Translation leak-aside buffer: Defeating cache side-channel protections with TLB attacks","author":"G","year":"2018","journal-title":"USENIX Security"},{"key":"ref37","article-title":"Jasper RTL Apps","year":"2022"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2019.2926114"},{"key":"ref39","article-title":"The Rocket Chip Generator","volume-title":"UCB\/EECS-2016-17","author":"Asanovi\u0107","year":"2016"},{"key":"ref40","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":"ref41","article-title":"mor1kx source code","year":"2020"},{"key":"ref42","article-title":"or1200 source code","year":"2020"},{"key":"ref43","article-title":"Ariane: A 64-bit risc-v cpu","year":"2018"},{"key":"ref44","article-title":"Opentitan: An open source root of trust","year":"2019"},{"key":"ref45","article-title":"Picosoc","author":"Griffiths","year":"2019"},{"key":"ref46","article-title":"Veerwolf: A risc-v soc platform","year":"2020"}],"event":{"name":"2026 Design, Automation & Test in Europe Conference (DATE)","location":"Verona, Italy","start":{"date-parts":[[2026,4,20]]},"end":{"date-parts":[[2026,4,22]]}},"container-title":["2026 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11539023\/11539024\/11539167.pdf?arnumber=11539167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T05:07:02Z","timestamp":1780636022000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11539167\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,20]]},"references-count":46,"URL":"https:\/\/doi.org\/10.23919\/date69613.2026.11539167","relation":{},"subject":[],"published":{"date-parts":[[2026,4,20]]}}}