You are here

Thesis

Détection formelle de vulnérabilité crée par injection de faute au niveau binaire - un processus logiciel et une validation matérielle

L'injection de faute est une méthode bien connue pour évaluer la robustesse et détecter les vulnérabilités des systèmes. La détection des vulnérabilités créées par injection de fautes a été approchée par différentes méthodes. Dans la littérature deux approches existent: les approches logicielles et les approches matérielles. Les approches logicielles peuvent fournir une large et rapide couverture, mais ne garantissent pas la présence de vulnérabilité dans le système.

Speaker: 
NISRINE JAFRI (TAMIS)

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

Speaker: 
Aurélien Palisse (CIDRE)

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

Speaker: 
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”

 

Speaker: 
Pedro Patlan-Rosales

Identification d'algorithmes cryptographiques dans du code natif

Identification d'algorithmes cryptographiques dans du code natif

Speaker: 
Pierre Lestringant (EMSEC)

Efficient Big Data Processing on Large-Scale Shared Platforms: Managing I/Os and Failures

You are kindly invited to the PhD thesis defense of Orçun YILDIZ (KerData team) that will take place on Friday, December 8th at 9:30 at the "Salle Métivier" at Inria, and for a drink in Sein meeting room at 5 pm.

Resume:

Speaker: 
Orçun YILDIZ (KerData)

Diffusion MRI processing for multi-compartment characterization of brain pathology

Diffusion weighted imaging (DWI) is a specific type of MRI acquisition based on the direction of diffusion of the brain water molecules. It allows, through several acquisitions, to model the brain microstructure, as white matter, which is significantly smaller than the voxel-resolution.

Speaker: 
Renaud Hedouin

Soutenance de thèse de Antoine Guellier (CIDRE) lundi 22 mai à 10h30 en salle 510 à CentraleSupélec

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Antoine Guellier (équipe CIDRE) le lundi 22 Mai 2017 à 10h30 en salle 510 à CentraleSupélec ainsi qu'au pot qui suivra.

Titre

Communications anonymes dans un réseau homogène

Title
Strongly Private Communications in a Homogeneous Network

 

Résumé

Speaker: 
Antoine Guellier

Structuring an Abstract Interpreter through Value and State Abstractions: EVA, an Evolved Value Analysis for Frama-C

Elle sera effectuée en français, et sera suivie d'un pot en salle Sein auquel vous êtes chaleureusement conviés.

Résumé :

Speaker: 
David Bühler (Celtique)

Pages

Subscribe to RSS - Thesis