| 2023 | CARDIS | Fault Attacks Sensitivity of Public Parameters in the Dilithium Verification. | Andersson Calle Viera, Alexandre Berzati, Karine Heydemann |
| 2023 | FMCAD | μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. | Simon Tollec, Mihail Asavoae, Damien Courouss, Karine Heydemann, Mathieu Jan |
| 2022 | DATE | SCI-FI: Control Signal, Code, and Control Flow Integrity against Fault Injection Attacks. | Thomas Chamelot, Damien Courouss, Karine Heydemann |
| 2022 | FDTC | Exploration of Fault Effects on Formal RISC-V Microarchitecture Models. | Simon Tollec, Mihail Asavoae, Damien Courouss, Karine Heydemann, Mathieu Jan |
| 2020 | CC | Secure delivery of program properties through optimizing compilation. | Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen |
| 2018 | DSD | CCFI-Cache: A Transparent and Flexible Hardware Protection for Code and Control-Flow Integrity. | Jean-Luc Danger, Adrien Facon, Sylvain Guilley, Karine Heydemann, Ulrich Khne, Abdelmalek Si-Merabet, Michal Timbert |
| 2017 | CHES | Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. | Ins Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz |
| 2016 | ISPASS | Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems. | Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen |
| 2016 | PPoPP | NUMA-aware scheduling and memory allocation for data-flow task-parallel applications. | Andi Drebes, Antoniu Pop, Karine Heydemann, Nathalie Drach, Albert Cohen |
| 2015 | CARDIS | Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification. | Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz, Ronald De Keulenaer |
| 2014 | ESORICS | Software Countermeasures for Control Flow Integrity of Smart Card C Codes. | Jean-Franois Lalande, Karine Heydemann, Pascal Berthom |
| 2013 | FDTC | Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller. | Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz |
| 2011 | EuroPar | Using Runtime Activity to Dynamically Filter Out Inefficient Data Prefetches. | Oussama Gamoudi, Nathalie Drach, Karine Heydemann |
| 2010 | PLDI | Attack model for verification of interval security properties for smart card C codes. | Pascal Berthom, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-Franois Lalande |
| 2005 | SCOPES | A Software-only Compression System for Trading-off Performance and Code Size. | Karine Heydemann, Franois Bodin, Henri-Pierre Charles |