From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme
Conference proceeding (February 2024)
The most recent citing publications are shown below. View all 20 publications that cite this research output on Dimensions.
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
Article in Journal of Cryptographic Engineering (January 2023)
A Compositional Methodology to Harden Programs Against Multi-Fault Attacks
Conference proceeding (January 2023)