Thèse

Vous êtes cordialement invités à la soutenance de thèse de Quentin Delamare qui aura lieu le lundi 9 décembre à 10h00 en salle Métivier ainsi qu'au pot qui se tiendra ensuite en salle Sein.

Titre : Algorithmes d’estimation et de commande pour des quadrirotors en interaction physique avec l’environnement

Résumé :

Analyse dynamique du programme pour suggérer des améliorations de test aux développeurs.

Nous sommes habitués à utiliser des ordinateurs sur lesquels coopèrent des programmes d'origines diverses. Chacun de ces programmes a besoin d'accéder à de la mémoire vive pour fonctionner correctement, mais il
ne faudrait pas qu'un programme accède ou modifie la mémoire d'un autre programme. Si cela ce produisait, les programmes ne pourraient plus faire confiance à la mémoire et pourraient se comporter de manière erratique. Les programmeurs n'ont pourtant pas besoin de se mettre d'accord à l'avance sur les zones mémoire qu'ils pourront ou non utiliser.

Notre société est de plus en plus dépendante de services informatiques et cette tendance est à la hausse.                                                    
De ce fait, la sécurité de nos systèmes est également devenu incontournable afin d'éviter les conséquences désastreuses que peuvent provoquer d'éventuelles attaques.   
Cette thèse porte sur la sécurité des programmes durant le processus de compilation.   
La compilation correspond à la traduction des programmes sources écrits par des humains vers du code machine lisible par nos systèmes.                     
Nous explorons deux manières possibles de faire de la compilation sécurisée : la sécurisation et la préservation.                                                
Premièrement, nous avons développé CompCertSFI, un compilateur qui sécurise des modules en les isolant dans des zones mémoires restreintes appelées bac à sable.   
Ces modules sont ensuite incapables d'accéder à des zones mémoires hors de leur bac à sable, ce qui empêche un module malveillant de corrompre d'autres entités du système.                                                                
Sur le sujet de la préservation, nous avons défini une notion de Préservation de Flot d'Information qui s'applique aux transformations de programme.            
Cette propriété, lorsqu'elle est vérifiée, permet de s'assurer qu'un programme ne devienne moins sécurisé durant sa compilation.                                  
Notre propriété de préservation est spécifiquement conçue pour préserver les protections contre les attaques de type canaux cachés. Cette nouvelle catégorie d'attaque utilise des médiums physiques comme le temps ou la consommation d'énergie qui ne sont pas pris en compte par les compilateurs actuels. 

La soutenance de thèse de Hakim Si-Mohammed se tiendra le mardi 3 décembre 2019, à 14h, en salle Michel Métivier.

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Aurélien Palisse (équipe CIDRE) qui se tiendra le lundi 4 mars 2019 à 14h00 en salle Michel Métivier.

Titre : Visualisation pour la supervision de sécurité des systèmes d’information/Analysis and detection of the ransomware

Résumé :

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Sean Lynch qui se tiendra le mercredi 24 octobre 2018 à 14h30 à la salle des thèses de Villejean (7ème étage du bâtiment de la Présidence).

Bonjour,

Vous êtes cordialement invités à la soutenance de thèse de Thomas Letan, CIDRE, le 25 octobre à 14h, au 30 rue des Favorites, à Paris (dans les locaux de la formation continue (l’Exed) de CentraleSupélec).

Sujet de la thèse : Specifying and Verifying Hardware-based Security Enforcement Mechanisms

Résumé :

Identification d'algorithmes cryptographiques dans du code natif