HEYDEMANN Karine
سـتاذ مـحاضر [مرخص بإدارة البحوث]
وحـدة :
ALSOC
تحديد :
Campus Pierre et Marie Curie Sorbonne Université - LIP6 Tel: +33 1 44 27 65 28, Karine.Heydemann (at)
null lip6.fr
http://asim.lip6.fr/~heydeman/
2 مسجلون في الدكتوراه (رئاسـة البـحث / تأطـير مـشـترك)
BEN EL OUAHMA Ines : Analyse de robustesse et sécurisation de code assembleur soumis à des attaques par canaux cachés VU Son Tuan : Expression et préservation de propriétés de sécurité d'un code tout au long du flot de compilation
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-2020
جميع
مـنشـورات في مـجلات
فصـول في كـتب
منشورات
Posters
أطروحة
مـنـشـورات أخـرى
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, (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 ”, رخصة بإدارة البحوث, مناقـشـة مـذكـرة 20/11/2017 (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 ”, Technique et Science Informatiques, vol. 30 (9), pp. 1035-1059, (Hermès-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
LIP6 » أحـداث السـاعـة
