Karine Heydemann

14 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Fault-resistant partitioning of secure CPUs for system co-verification against faults

Simon Tollec and others (2024) · IACR Transactions on Cryptographic Hardware and Embedded Systems

MAFIA: Protecting the Microarchitecture of Embedded Systems Against Fault Injection Attacks

Thomas Chamelot and others (2023) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers

SAMVA: Static Analysis for Multi-fault Attack Paths Determination

Antoine Gicquel and others (2023) · Constructive Side-Channel Analysis and Secure Design · Springer Nature Switzerland

µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections

Simon Tollec and others (2023) · TU Wien

SCI-FI: Control Signal, Code, and Control Flow Integrity against Fault Injection Attacks

Thomas Chamelot and others (2022) · IEEE

Exploration of Fault Effects on Formal RISC-V Microarchitecture Models

Simon Tollec and others (2022) · IEEE

PROSECCO: Formally-proven secure compiled code

Nicolas Belleville and others (2021) · 28th Computer Electronics Security Application Rendezvous (C&ESAR)

Fault attack vulnerability assessment of binary code

Jean-Baptiste Bréjon and others (2019)

Formally verified software countermeasures for control-flow integrity of smart card C code

Karine Heydemann and others (2019) · Computers & Security · Elsevier BV

A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures: A Secure Software Perspective

Julien Proy and others (2019) · ACM

Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault Attacks

Thierno Barry and others (2017) · European LLVM Developers Meeting

Compiler-Assisted Loop Hardening Against Fault Attacks

Julien Proy and others (2017) · ACM Transactions on Architecture and Code Optimization · Association for Computing Machinery

Formal verification of a software countermeasure against instruction skip attacks

Nicolas Moro and others (2014) · Journal of Cryptographic Engineering · Springer Science+Business Media

Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller

Nicolas Moro and others (2013) · 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography · IEEE