HEYDEMANN Karine
离开日期 : 2023-2-28
2021
BEN EL OUAHMA Ines : Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques .VU Son Tuan : Préservation des propriétés dans un flot de compilation optimisant .
2020
BREJON Jean-Baptiste : Quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques .
2015
DREBES Andi : Parallélisation adaptative pour les applications embarquées haute-performance .
2014
MORO Nicolas : Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués .
2012
GAMOUDI Oussama : Optimisation adaptative appliquée au préchargement de données .
2011
OZAKTAS Haluk : Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict .
2005-2023 刊物
所有
刊物文章
书籍章节
会议文章
Posters
博士论文
其他刊物
2023
S. Tollec, M. Asavoae, D. Couroussé, K. Heydemann, M. Jan : “µArchiFI: Formal modeling and verification strategies for microarchitetural fault injections ”, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023, Ames, IO, United States, pp. 101-109, (TU Wien Academic Press), (ISBN: 978-3-85448-060-0) (2023)L. Casalino, N. Belleville, D. Couroussé, K. Heydemann : “A tale of resilience: On the practical security of masked software implementations ”, IEEE Access, vol. 11, pp. 84651-84669, (IEEE) (2023)Quentin L. Meunier, E. Pons, K. Heydemann : “LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions ”, IEEE Transactions on Software Engineering, vol. 49 (6), pp. 3359-3375, (Institute of Electrical and Electronics Engineers) (2023)Th. Chamelot, D. Couroussé, K. Heydemann : “MAFIA: Protecting the microarchitecture of embedded systems against fault injection attacks ”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, (IEEE) (2023)A. Gicquel, D. Hardy, K. Heydemann, E. Rohou : “SAMVA: Static Analysis for Multi-Fault Attack Paths Determination ”, Constructive Side-Channel Analysis and Secure Design, Munich (Allemagne), Germany, pp. 3-22, (Springer), (ISBN: 978-3-031-29497-6) (2023)
2022
A. Grandmaison, K. Heydemann, Quentin L. Meunier : “ARMISTICE: Microarchitectural Leakage Modeling for Masked Software Formal Verification ”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41 (11), pp. 3733-3744, (IEEE) (2022)Th. Chamelot, D. Couroussé, K. Heydemann : “SCI-FI: Control Signal, Code, and Control Flow Integrity against Fault Injection Attacks ”, 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Antwerp, Belgium, pp. 556-559, (IEEE) (2022)S. Tollec, M. Asavoae, D. Couroussé, K. Heydemann, M. Jan : “Exploration of fault effects on formal RISC-V microarchitecture models ”, 2022 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), Virtual event, Italy, pp. 73-83, (IEEE) (2022)
2021
S. Vu, A. Cohen, A. De Grandmaison, Ch. Guillon, K. Heydemann : “Reconciling optimization with secure compilation ”, Proceedings of the ACM on Programming Languages, vol. 5 (OOPSLA), Chicago, IL, United States, pp. 1-30, (ACM) (2021)J.‑L. Danger, A. Facon, S. Guilley, K. Heydemann, U. Kühne, A. Si Merabet, M. Timbert, B. Pecatte : “Processor Anchor to Increase the Robustness Against Fault Injection and Cyber Attacks ”, Proceedings of COSADE workshop, vol. 12244, Lecture Notes in Computer Science, Lugano, Switzerland, pp. 254-274, (Springer, Cham.) (2021)N. Belleville, D. Couroussé, E. Encrenaz, K. Heydemann, Q. Meunier : “PROSECCO: Formally-proven secure compiled code ”, Automation in Cybersecurity 2021 - Proceedings of the 28th Computer & Electronics Security Application Rendezvous (C&ESAR 2021), vol. 3056, CEUR Workshop Proceedings, Rennes, France, pp. 13-25, (ceur-ws.org) (2021)
2020
P. Kiaei, D. Mercadier, P.‑E. Dagand, K. Heydemann, P. Schaumont : “Custom Instruction Support for Modular Defense against Side-channel and Fault Attacks ”, International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2020, Lecture Notes in Computer Science, Lugano, Switzerland (2020)Quentin L. Meunier, I. Ben El Ouahma, K. Heydemann : “SELA: a Symbolic Expression Leakage Analyzer ”, International Workshop on Security Proofs for Embedded Systems, Visioconference, France (2020)N. Belleville, D. Couroussé, K. Heydemann, Q. Meunier, I. Ben El Ouahma : “Maskara: Compilation of a Masking Countermeasure with Optimised Polynomial Interpolation ”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39 (11), (IEEE) (2020)S. Vu, K. Heydemann, A. De Grandmaison, A. Cohen : “Secure delivery of program properties through optimizing compilation ”, CC '20: 29th International Conference on Compiler Construction, San Diego, CA, United States, pp. 14-26, (ACM) (2020)
2019
K. Heydemann, J.‑F. Lalande, P. Berthomé : “Formally verified software countermeasures for control-flow integrity of smart card C code ”, Computers and Security, vol. 85, pp. 202-224, (Elsevier) (2019)J. Proy, K. Heydemann, F. Majeric, A. Cohen, A. Berzati : “Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level ”, (2019)S. Vu, K. Heydemann, A. De Grandmaison, A. Cohen : “Compilation and Optimization with Security Annotations ”, European LLVM Developers Meeting, Bruxelles, Belgium (2019)I. Ben El Ouahma, Q. Meunier, K. Heydemann, E. Encrenaz : “Side-channel robustness analysis of masked assembly codes using a symbolic approach ”, Journal of Cryptographic Engineering, pp. 1-12, (Springer) (2019)J.‑B. Bréjon, K. Heydemann, E. Encrenaz, Quentin L. Meunier, S. Vu : “Fault attack vulnerability assessment of binary code ”, Cryptography and Security in Computing Systems (CS2’19), Valencia, Spain, pp. 13-18, (ACM) (2019)J. Proy, K. Heydemann, A. Berzati, F. Majeric, A. Cohen : “A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures ”, ARES '19 Proceedings of the 14th International Conference on Availability, Reliability and Security, Canterbury, United Kingdom, pp. 7:1-7:10, (ACM Press) (2019)
2018
N. Belleville, D. Couroussé, K. Heydemann, H.‑P. Charles : “Automated Software Protection for the Masses Against Side-Channel Attacks ”, ACM Transactions on Architecture and Code Optimization, vol. 15 (4), pp. 47:1-47:27, (Association for Computing Machinery) (2018)N. Belleville, K. Heydemann, D. Couroussé, Th. Barry, B. Robisson, A. Seriai, H.‑P. Charles : “Automatic Application of Software Countermeasures Against Physical Attacks ”, chapter in Cyber-Physical Systems Security, pp. 135-155, (Springer International Publishing), (ISBN: 978-3-319-98934-1) (2018)J.‑L. Danger, A. Facon, S. Guilley, K. Heydemann, U. Kühne, A. Si Merabet, M. Timbert : “CCFI-Cache: A Transparent and Flexible Hardware Protection for Code and Control-Flow Integrity ”, 2018 21st Euromicro Conference on Digital System Design (DSD), Prague, Czechia, pp. 529-536, (IEEE) (2018)D. Couroussé, Th. Barry, B. Robisson, N. Belleville, Ph. Jaillon, O. Potin, H. Le Bouder, J.‑L. Lanet, K. Heydemann : “All paths lead to Rome: Polymorphic Runtime Code Generation for Embedded Systems ”, Fifth Workshop on Cryptography and Security in Computing Systems, Manchester, United Kingdom, pp. 17-18, (ACM) (2018)
2017
K. Heydemann : “Sécurité et performance des applications : analyses et optimisations multi-niveaux ”, 特许任教资格, 答辩 2017-11-20 (2017)J. Proy, K. Heydemann, A. Berzati, A. Cohen : “Compiler-Assisted Loop Hardening Against Fault Attacks ”, ACM Transactions on Architecture and Code Optimization, vol. 14 (4), pp. 36, (Association for Computing Machinery) (2017)I. Ben El Ouahma, Quentin L. Meunier, K. Heydemann, E. Encrenaz : “Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes ”, Security Proofs for Embedded Systems, Taipei, China (2017)N. Belleville, Th. Barry, A. Seriai, D. Couroussé, K. Heydemann, B. Robisson, H.‑P. Charles : “The Multiple Ways to Automate the Application of Software Countermeasures against Physical Attacks : Pitfalls and Guidelines ”, Cyber-Physical Security Education Workshop, Paris, France (2017)Th. Barry, D. Couroussé, B. Robisson, K. Heydemann : “Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault Attacks ”, European LLVM Developers Meeting, Saarbrücken, Germany (2017)
2016
A. Drebes, J.‑B. Bréjon, A. Pop, K. Heydemann, A. Cohen : “Language-Centric Performance Analysis of OpenMP Programs with Aftermath ”, IWOMP 2016 - 12th International Workshop on OpenMP, vol. 9903, Lecture Notes in Computer Science, Nara, Japan, pp. 237-250, (Springer) (2016)A. Drebes, A. Pop, K. Heydemann, A. Cohen, N. Drach : “Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management ”, PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Haifa, Israel, pp. 125-137 (2016)A. Drebes, A. Pop, K. Heydemann, N. Drach, A. Cohen : “NUMA-aware scheduling and memory allocation for data-flow task-parallel applications ”, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Barcelona, Spain, pp. 44:1-44:2, (ACM New York, NY, USA) (2016)A. Drebes, A. Pop, K. Heydemann, A. Cohen : “Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems ”, IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Uppsala, Sweden, pp. 274-283 (2016)L. Goubet, K. Heydemann, E. Encrenaz, R. De Keulenaer : “Efficient Design and Evaluation of Countermeasures against Fault Attack with Formal Verification ”, Smart Card Research and Advanced Applications - 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Paper, vol. 9514, Lecture Notes in Computer Science, Bochum, Germany, pp. 177-192, (Springer International Publishing) (2016)
2015
2014
A. Drebes, K. Heydemann, N. Drach, A. Pop, A. Cohen : “Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages ”, ACM Transactions on Architecture and Code Optimization, vol. 11 (3), pp. 30, (Association for Computing Machinery) (2014)J.‑F. Lalande, K. Heydemann, P. Berthomé : “Software countermeasures for control flow integrity of smart card C codes ”, ESORICS - 19th European Symposium on Research in Computer Security, vol. 8713, Lecture Notes in Computer Science, Wroclaw, Poland, pp. 200-218, (Springer International Publishing) (2014)N. Moro, K. Heydemann, E. Encrenaz, B. Robisson : “Formal verification of a software countermeasure against instruction skip attacks ”, Journal of Cryptographic Engineering, vol. 4 (3), pp. 145-156, (Springer) (2014)A. Drebes, K. Heydemann, N. Drach, P. Antoniu, A. Cohen : “Aftermath: Performance analysis of task-parallel applications on many-core NUMA systems ”, Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy (2014)N. Moro, K. Heydemann, A. Dehbaoui, B. Robisson, E. Encrenaz : “Fault attacks on two software countermeasures ”, TRUDEVICE 2014, Paderborn, Germany (2014)A. Drebes, A. Pop, K. Heydemann, A. Cohen, N. Drach : “Aftermath: A graphical tool for performance analysis and debugging of fine-grained task-parallel programs and run-time systems ”, Seventh Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2014), Vienna, Austria (2014)N. Moro, K. Heydemann, A. Dehbaoui, B. Robisson, E. Encrenaz : “Experimental evaluation of two software countermeasures against fault attacks ”, 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), Arlington, United States, pp. 112-117 (2014)
2013
N. Moro, A. Dehbaoui, K. Heydemann, B. Robisson, E. Encrenaz : “Electromagnetic fault injection on microcontrollers ”, Chip-to-Cloud Security Forum 2013, Nice, France (2013)K. Heydemann, N. Moro, E. Encrenaz, B. Robisson : “Formal verification of a software countermeasure against instruction skip attacks ”, PROOFS 2013, Santa-Barbara, United States (2013)N. Moro, A. Dehbaoui, K. Heydemann, B. Robisson, E. Encrenaz : “Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller ”, Proceedings of the 10th workshop on Fault Diagnosis and Tolerance in Cryptography, Santa-Barbara, United States, pp. 77-88 (2013)
2012
2011
P. Berthomé, K. Heydemann, X. Kauffmann‑Tourkestansky, J.‑F. Lalande : “Simulating physical attacks in smart card C codes: the jump attack case ”, e-Smart, Nice - Sophia Antipolis, France (2011)O. Gamoudi, N. Drach, K. Heydemann : “Using runtime activity to dynamically filter out inefficient data prefetches ”, Euro-Par European Conference on Parallel computing, vol. 6852, Lecture Notes in Computer Science, Bordeaux, France, pp. 338-350, (Springer) (2011)P. Berthomé, K. Heydemann, X. Kauffmann‑Tourkestansky, J.‑F. Lalande : “Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce ”, Journée Sécurité des Systèmes & Sûreté des Logiciels, Saint-Malo, France (2011)H. Ozaktas, K. Heydemann : “Compression de code pour processeurs haute performance ”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 30 (9), pp. 1035-1059, (Lavoisier) (2011)
2010
P. Berthomé, K. Heydemann, X. Kauffmann‑Tourkestansky, J.‑F. Lalande : “Attack model for verification of interval security properties for smart card C codes ”, PLAS '10 - 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Toronto, Canada, pp. 2:1-2:12, (ACM) (2010)H. Cassé, K. Heydemann, H. Ozaktas, J. Ponroy, Ch. Rochange, O. Zendra : “A framework to experiment optimizations for real-time and embedded software ”, International Conference on Embedded Real Time Software and Systems (ERTS2), Toulouse, France (2010)
2009
H. Ozaktas, K. Heydemann : “Compression de code pour processeurs haute-performance ”, SympA Symposium en Architecture de Machines, Toulouse, France (2009)A. Djabelkhir, N. Drach, K. Heydemann, F. Arzel : “Parallélisation supervisée pour les multicoeurs embarqués ”, SympA Symposium en Architecture de Machines, Toulouse, France (2009)O. Gamoudi, N. Drach, K. Heydemann : “Vers une méthode adaptative de préchargement de données ”, SympA Symposium en Architecture de Machines, Toulouse, France (2009)H. Ozaktas, K. Heydemann, Ch. Rochange, H. Cassé : “Impact of Code Compression on Estimated Worst-Case Execution Times ”, 17th International Conference on Real-Time and Network Systems, Paris, France, pp. 55-66 (2009)
2008
2006
A. Coveliers, K. Heydemann, N. Drach : “Sensibilité aux jeux de données de la compilation itérative ”, SympA Symposium en Architecture de Machines, Perpignan, France, pp. 35-46 (2006)K. Heydemann, F. Bodin, P. Knijnenburg, L. Morin : “UFS : a global trade-off strategy for loop unrolling for VLIW architectures ”, Concurrency and Computation: Practice and Experience, vol. 18 (11), pp. 1413-1434, (Wiley) (2006)
2005
