Karine
Heydemann
Maître de conférences - HDR
Sorbonne Université
Laboratoire d'Informatique de Paris 6
Département Systèmes Embarqués sur Puce (SOC)
Equipe Architecture et Logiciels
pour les Systèmes Embarqués sur Puce (ALSOC)
Recherche
Thématiques
:
- Sécurisation de code contre les attaques physiques : schéma de protection et automatisation de l'insertion dans le flot de compilation
- Analyse de robustesse de code assembleur/binaire par vérification formelle
- Optimisation de code et protections des protections logicielles
Offres de thèse ou stage
N'hésitez pas à me contacter en précisant votre recherche et en m'envoyant un CV et une lettre de motivation.
Projets de recherche
- ANR IDROMEL 2021 - 2025
- ANR COFFI 2019-2023 : Control the integrity of execution: a step further CFI
- ANR PROSECCO 2015-2020 : formally PROven protections for SEcured Compiled COde PROSECCO (Coordinatrice)
- ANR MORE 2007-2010 : Multicriteria Optimizations for Real-time Embedded systems
Doctorants
- Thomas Chamelot : sécurisation par co-design contre les attaques par injection de fautes, co-encadré par Damien Courousé (CEA), dans le cadre du projet ANR COFFI -- 2019-2022
- Lorenzo Casalino : sécurisation contre les attaques par canaux auxilaires avec prise en compte des effets de la micro-architecture, co-encadré par Damien Courousé et Nicolas Belleville (CEA), dans le cadre du projet ANR IDROMEL -- 2021-2024
Anciens doctorants
- Ines Ben El Ouahma : analyse de robustesse et sécurisation de code assembleur soumis à des attaques par canaux cachés, co-encadrée par Emmanuelle Encrenaz et Quentin Meunier
- Son Tuan Vu : expression et préservation de propriétés de sécurité d'un code tout au long du flot de compilation, co-encadré par Albert Cohen (Google AI) et Arnaud de Grandmaison (Arm)
- Jean-Baptiste Bréjon : quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques, co-encadré par Emmanuelle Encrenaz et Quentin Meunier
- Nicolas Belleville : Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire, co-encadré par Damien Couroussé (CEA), Henri-Pierre Charles (CEA)
- Julien Proy : sérisation systématique d'application embarquées contre les attaques physique, thèse CIFRE INVIA, co-encadré par Albert Cohen (INRIA) et Alexandre Berzati (INVIA)
- Andi Drebes : placement des tâches et des données de programmes parallèles à base de tâches sur many-coeurs NUMA et analyse de performances, co-encadré par Nathalie Drach-Témam
- Nicolas Moro : sécurisation de code assembleur face aux attaques visant les processeurs embarqués
- Oussama Gamoudi : préchargement adaptatif de données
- Haluk Ozakatas : compression de code et optimisation de code multicritère des systèmes embarqués dans un contexte temps réel strict
- Alexandre Coveliers : sensibilité aux jeux de données de la compilation itérative
Enseignements
- L1 Élement de programmation 1 - Portail Première Année Sorbonne Université
- L3 majeure informatique Architecture des ordinateurs 1 -- Licence 3 Informatique Sorbonne Université
- M1 Compilation avancée - Master 1 Informatique UPMC spécialité STL
- Supports de cours, TD, TP disponibles au fur et à mesure sur Moodle
- M1 Architecture des processeurs RISC - Master 1 Informatique Sorbonne Université spécialité SESI.
- M2 Attaques par canaux auxiliaires SCA - Master 2 Informatique Sorbonne Université spécialité SFPN (2022-2023). VM pour les TP
- M2 HotTopics - Master 2 Informatique Sorbonne Université pécialité SESI
Enseignements passés
- Programmation récursive - Licence 1 portail MIPI Informatique UPMC (2006-2013)
- Machine et représentation - Licence 2 Informatique UPMC (2010-2019)
- Orientation et insertion professionelle - Licence 2 Informatique UPMC (2014-2016)
- Orientation et insertion professionnelle - Licence 2 Informatique UPMC parcours général et parcours ATIC (2012-2015)
- Architecture Hautes Performances - Master 2 UPMC Spécialité SESI (2010-2016)
Contact
Localisation : bureau 406 Tour 24-25
Adresse :
BC 169
4, Place Jussieu
75252 Paris Cedex 05,
France
Téléphone: +33 1 44 27 65 28
e-mail: karine{dot}heydemann{at}lip6.fr
