Karine Heydemann

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 40

Top Topics

Embedded Systems

Formal Verification

Countermeasures

Top Venues

IACR Cryptol. ePrint Arch.

J. Cryptogr. Eng.

Publications

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Cryptol. ePrint Arch. 2024 (2024)
Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. FMCAD (2023)
Thomas Chamelot, Damien Couroussé, Karine Heydemann
MAFIA: Protecting the Microarchitecture of Embedded Systems Against Fault Injection Attacks. IACR Cryptol. ePrint Arch. 2023 (2023)
Quentin L. Meunier, Etienne Pons, Karine Heydemann
LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions. IEEE Trans. Software Eng. 49 (6) (2023)
Thomas Chamelot, Damien Couroussé, Karine Heydemann
MAFIA: Protecting the Microarchitecture of Embedded Systems Against Fault Injection Attacks. CoRR (2023)
Andersson Calle Viera, Alexandre Berzati, Karine Heydemann
Fault Attacks Sensitivity of Public Parameters in the Dilithium Verification. CARDIS (2023)
Lorenzo Casalino, Nicolas Belleville, Damien Couroussé, Karine Heydemann
A Tale of Resilience: On the Practical Security of Masked Software Implementations. IEEE Access 11 (2023)
Thomas Chamelot, Damien Couroussé, Karine Heydemann
MAFIA: Protecting the Microarchitecture of Embedded Systems Against Fault Injection Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (12) (2023)
Antoine Gicquel, Damien Hardy, Karine Heydemann, Erven Rohou
SAMVA: Static Analysis for Multi-fault Attack Paths Determination. COSADE (2023)
Andersson Calle Viera, Alexandre Berzati, Karine Heydemann
Fault Attacks Sensitivity of Public Parameters in the Dilithium Verification. IACR Cryptol. ePrint Arch. 2023 (2023)
Thomas Chamelot, Damien Couroussé, Karine Heydemann
SCI-FI: Control Signal, Code, and Control Flow Integrity against Fault Injection Attacks. DATE (2022)
Arnaud de Grandmaison, Karine Heydemann, Quentin L. Meunier
ARMISTICE: Microarchitectural Leakage Modeling for Masked Software Formal Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan
Exploration of Fault Effects on Formal RISC-V Microarchitecture Models. FDTC (2022)
Arnaud de Grandmaison, Karine Heydemann, Quentin L. Meunier
Armistice: Micro-Architectural Leakage Modelling for Masked Software Formal Verification. IACR Cryptol. ePrint Arch. 2022 (2022)
Quentin L. Meunier, Etienne Pons, Karine Heydemann
LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions. IACR Cryptol. ePrint Arch. 2021 (2021)
Son Tuan Vu, Albert Cohen, Arnaud de Grandmaison, Christophe Guillon, Karine Heydemann
Reconciling optimization with secure compilation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon
Secure Optimization Through Opaque Observations. CoRR (2021)
Karine Heydemann, Letitia Li
Correction to: Editorial about PROOFS 2019. J. Cryptogr. Eng. 11 (2) (2021)
Karine Heydemann, Letitia Li
Editorial about PROOFS 2019. J. Cryptogr. Eng. 11 (2) (2021)
Nicolas Belleville, Damien Couroussé, Karine Heydemann, Quentin L. Meunier, Inès Ben El Ouahma
Maskara: Compilation of a Masking Countermeasure With Optimized Polynomial Interpolation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen
Secure delivery of program properties through optimizing compilation. CC (2020)
Jean-Luc Danger, Adrien Facon, Sylvain Guilley, Karine Heydemann, Ulrich Kühne, Abdelmalek Si-Merabet, Michaël Timbert, Baptiste Pecatte
Processor Anchor to Increase the Robustness Against Fault Injection and Cyber Attacks. COSADE (2020)
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont
Custom Instruction Support for Modular Defense against Side-channel and Fault Attacks. IACR Cryptol. ePrint Arch. 2020 (2020)
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont
Custom Instruction Support for Modular Defense Against Side-Channel and Fault Attacks. COSADE (2020)
Nicolas Belleville, Damien Couroussé, Karine Heydemann, Henri-Pierre Charles
Automated Software Protection for the Masses Against Side-Channel Attacks. ACM Trans. Archit. Code Optim. 15 (4) (2019)
Karine Heydemann, Jean-François Lalande, Pascal Berthomé
Formally verified software countermeasures for control-flow integrity of smart card C code. Comput. Secur. 85 (2019)
Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz
Side-channel robustness analysis of masked assembly codes using a symbolic approach. J. Cryptogr. Eng. 9 (3) (2019)
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont
SKIVA: Flexible and Modular Side-channel and Fault Countermeasures. IACR Cryptol. ePrint Arch. 2019 (2019)
Julien Proy, Karine Heydemann, Fabien Majéric, Albert Cohen, Alexandre Berzati
Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level. CoRR (2019)
Julien Proy, Karine Heydemann, Alexandre Berzati, Fabien Majéric, Albert Cohen
A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures: A Secure Software Perspective. ARES (2019)
Jean-Luc Danger, Adrien Facon, Sylvain Guilley, Karine Heydemann, Ulrich Kühne, Abdelmalek Si-Merabet, Michaël Timbert
CCFI-Cache: A Transparent and Flexible Hardware Protection for Code and Control-Flow Integrity. DSD (2018)
Damien Couroussé, Thierno Barry, Bruno Robisson, Nicolas Belleville, Philippe Jaillon, Olivier Potin, Hélène Le Bouder, Jean-Louis Lanet, Karine Heydemann
All paths lead to Rome: Polymorphic Runtime Code Generation for Embedded Systems. CS2@HiPEAC (2018)
Nicolas Belleville, Damien Couroussé, Karine Heydemann, Henri-Pierre Charles
Automated software protection for the masses against side-channel attacks. IACR Cryptol. ePrint Arch. 2018 (2018)
Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. PROOFS (2017)
Julien Proy, Karine Heydemann, Alexandre Berzati, Albert Cohen
Compiler-Assisted Loop Hardening Against Fault Attacks. ACM Trans. Archit. Code Optim. 14 (4) (2017)
Andi Drebes, Antoniu Pop, Karine Heydemann, Nathalie Drach, Albert Cohen
NUMA-aware scheduling and memory allocation for data-flow task-parallel applications. PPOPP (2016)
Andi Drebes, Jean-Baptiste Bréjon, Antoniu Pop, Karine Heydemann, Albert Cohen
Language-Centric Performance Analysis of OpenMP Programs with Aftermath. IWOMP (2016)
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen
Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems. ISPASS (2016)
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, Nathalie Drach
Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management. PACT (2016)
Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz, Ronald De Keulenaer
Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification. CARDIS (2015)
Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz, Bruno Robisson
Formal verification of a software countermeasure against instruction skip attacks. J. Cryptogr. Eng. 4 (3) (2014)
Nicolas Moro, Karine Heydemann, Amine Dehbaoui, Bruno Robisson, Emmanuelle Encrenaz
Experimental evaluation of two software countermeasures against fault attacks. CoRR (2014)
Andi Drebes, Karine Heydemann, Antoniu Pop, Albert Cohen, Nathalie Drach
Automatic Detection of Performance Anomalies in Task-Parallel Programs. CoRR (2014)
Nicolas Moro, Karine Heydemann, Amine Dehbaoui, Bruno Robisson, Emmanuelle Encrenaz
Experimental evaluation of two software countermeasures against fault attacks. HOST (2014)
Andi Drebes, Karine Heydemann, Nathalie Drach, Antoniu Pop, Albert Cohen
Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages. ACM Trans. Archit. Code Optim. 11 (3) (2014)
Jean-François Lalande, Karine Heydemann, Pascal Berthomé
Software Countermeasures for Control Flow Integrity of Smart Card C Codes. ESORICS (2) (2014)
Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller. CoRR (2014)
Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz, Bruno Robisson
Formal verification of a software countermeasure against instruction skip attacks. CoRR (2014)
Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz
Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller. FDTC (2013)
Karine Heydemann, Nicolas Moro, Emmanuelle Encrenaz, Bruno Robisson
Formal verification of a software countermeasure against instruction skip attacks. IACR Cryptol. ePrint Arch. 2013 (2013)
Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-François Lalande
High Level Model of Control Flow Attacks for Smart Card Functional Security. ARES (2012)
Haluk Ozaktas, Karine Heydemann
Compression de code pour processeurs haute performance. Tech. Sci. Informatiques 30 (9) (2011)
Oussama Gamoudi, Nathalie Drach, Karine Heydemann
Using Runtime Activity to Dynamically Filter Out Inefficient Data Prefetches. Euro-Par (1) (2011)
Hugues Cassé, Karine Heydemann, Haluk Ozaktas, Jonathan Ponroy, Christine Rochange, Olivier Zendra
A framework to experiment optimizations for real-time and embedded software CoRR (2010)
Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-François Lalande
Attack model for verification of interval security properties for smart card C codes. PLAS (2010)
Alexandre Coveliers, Karine Heydemann, Nathalie Drach
Étude de la sensibilité aux jeux de données de la compilation itérative. Tech. Sci. Informatiques 27 (6) (2008)
Karine Heydemann, François Bodin, Peter M. W. Knijnenburg, Laurent Morin
UFS: a global trade-off strategy for loop unrolling for VLIW architectures. Concurr. Comput. Pract. Exp. 18 (11) (2006)
Karine Heydemann, François Bodin, Henri-Pierre Charles
A Software-only Compression System for Trading-off Performance and Code Size. SCOPES (2005)