{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:09:38Z","timestamp":1784239778135,"version":"3.55.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T00:00:00Z","timestamp":1777852800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T00:00:00Z","timestamp":1777852800000},"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,5,4]]},"DOI":"10.1109\/host68814.2026.11604960","type":"proceedings-article","created":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T20:02:14Z","timestamp":1784145734000},"page":"427-437","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of RTL-Based Characterization Programs for Fault Injection"],"prefix":"10.1109","author":[{"given":"Jonah Alle","family":"Monne","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, CEA, List,Grenoble,France,F-38000"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillaume","family":"Bouffard","sequence":"additional","affiliation":[{"name":"ANSSI"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Damien","family":"Courouss\u00e9","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, CEA, List,Grenoble,France,F-38000"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathieu","family":"Jan","sequence":"additional","affiliation":[{"name":"Université Paris-Saclay, CEA, List,Palaiseau,France,F-91120"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"GitHub - lowRISC\/ibex: Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy"},{"key":"ref2","volume-title":"GitHub - openhwgroup\/cv32e40p: CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DFT63277.2024.10753562"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DSD57027.2022.00068"},{"key":"ref5","first-page":"15","article-title":"List Universit\u00e9 Paris-Saclay, CEA, and LORIA Universit\u00e9 de Lorraine","volume-title":"CNRS. Augmenting search-based program synthesis with local inference rules to improve black-box deobfuscation. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (CCS \u201925)","author":"Attias","year":"2025"},{"key":"ref6","article-title":"Nothing is unreachable: automated synthesis of robust code-reuse gadget chains for arbitrary exploitation primitives","volume-title":"Proceedings of the 34th USENIX Conference on Security Symposium, SEC \u201925","author":"Bailluet","year":"2025"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2011.9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12510-2_11"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.1310735"},{"key":"ref10","first-page":"643","article-title":"Syntia: Synthesizing the Semantics of Obfuscated Code","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Blazytko"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27257-8_18"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2019.00010"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2018.00009"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-35055-0_14"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3390\/cryptography5020015"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2017.7951802"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC53659.2021.00020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2018.00097"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2024.i4.610-632"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2013.9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2016.01.018"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2021.102471"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36400-5_2"},{"key":"ref26","first-page":"101","article-title":"ArchiFI: Formal Modeling and Verification Strategies for Mmicroarchitetural Fault Injections. In FMCAD","volume-title":"23Formal Methods in Computer-Aided Design","author":"Tollec","year":"2023"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41702-4_8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2018.2860010"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12510-2_10"},{"key":"ref30","article-title":"Toward Better Fault Characterization Tests","volume-title":"HAL ePrint Archive","author":"Werner","year":"2022"}],"event":{"name":"2026 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","location":"Washington, DC, USA","start":{"date-parts":[[2026,5,4]]},"end":{"date-parts":[[2026,5,7]]}},"container-title":["2026 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11604575\/11604182\/11604960.pdf?arnumber=11604960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T21:46:00Z","timestamp":1784238360000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11604960\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,4]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/host68814.2026.11604960","relation":{},"subject":[],"published":{"date-parts":[[2026,5,4]]}}}