Vous êtes ici

Thèse

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

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é :

Orateur: 
Quentin Delamare (RAINBOW)

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

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

Orateur: 
Oscar Luis VERA PEREZ (DIVERSE)

Vérification d'isolation de fautes logicielle

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.

Orateur: 
Julien LEPILLER

Sécurité des programmes durant le processus de compilation

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. 

Orateur: 
Alexandre DANG

Conception et Étude de Systèmes Interactifs basés sur les Interfaces Cerveau-Ordinateur et la Réalité Augmentée

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

Orateur: 
Hakim Si-Mohammed

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

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é :

Orateur: 
Aurélien Palisse (CIDRE)

Perception visuelle du mouvement humain dans les interactions lors de tâches locomotrices

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).

Orateur: 
Sean Lynch

Soutenance de thèse de Thomas Letan, CIDRE, le jeudi 25 octobre à 14h, au 30 rue des Favorites, à Paris

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é :

Orateur: 
Thomas Letan

Soutenance de thèse de Pedro Patlan-Rosales (RAINBOW ) - vendredi 26 janvier 2018 à 10h00 - Salle Métivier

Titre: “Assistance robotique pour l'élastographie ultrasonore quantitative”

 

Orateur: 
Pedro Patlan-Rosales

Identification d'algorithmes cryptographiques dans du code natif

Identification d'algorithmes cryptographiques dans du code natif

Orateur: 
Pierre Lestringant (EMSEC)

Pages

Souscrire à RSS - Thèse