Karine Heydemann

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