Fault injection attacks are a serious threat to system security, enabling attackers to bypass
protection mechanisms or access sensitive information. To evaluate the robustness of CPU …

Fault injection is a major threat to embedded system security since it can lead to modified
control flows and leakage of critical security parameters, such as secret keys. However …

As the industry prepares for the transition to post-quantum secure public key cryptographic
algorithms, vulnerability analysis of their implementations is gaining importance. A …

Characterization of bugs and attack vectors is in many practical scenarios as important as
their finding. Recently, Girol et. al. have introduced the concept of robust reachability, which …

Fault injection is a common technique to break security algorithms on microcontrollers and
other processors. However, it is often unclear which specific effect a physical fault had, for …

Fault injection attacks have caused implementations to behave unexpectedly, resulting in a
spectacular bypass of security features and even the extraction of cryptographic keys …

This paper introduces µARCHIFI, an open-source tool dedicated to the formal modeling and
verification of microarchitecture-level fault injections and their effects on complex …

Cryptography is an indispensable tool used to protect information in computing systems.
Billions of people all over the world use it in their daily lives without even noticing there is …

A decisive contribution to the all-embracing protection of cryptographic software, especially
on embedded devices, is the protection against SCA attacks. Masking countermeasures can …

Multi-fault injection attacks are powerful since they allow to bypass software security
mechanisms of embedded devices. Assessing the vulnerability of an application while …