RACOUCHOT MAIWENN | Doctorat UL

10/12

14h00

Soutenance de thèse de MAIWENN RACOUCHOT

Analyse formelle de sécurité de protocoles: études de cas réelles et stratégies de preuve automatisées

Formal analysis of security protocols: real-world case-studies and automated proof strategies

Jury

Directeur de these_KREMER_Steve_Université de Lorraine
Rapporteur_BLANCHET_Bruno_UNIVERSITE DE PARIS SACLAY
Rapporteur_MAUW_Sjouke_University of Luxembourg
CoDirecteur de these_DREIER_Jannik_UNIVERSITE DE LORRAINE
Examinateur_MINIER_Marine_UNIVERSITE DE LORRAINE
Examinateur_CREMERS_Cas_CISPA Helmholtz Center for Information Security

école doctorale

IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES

Laboratoire

LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Mention de diplôme

Informatique

A008 Loria 615 rue du Jardin Botanique 54600 Villers-lès-Nancy

Mots clés

Cybersécurité,Logique,Sécurité,Primitives cryptgraphiques,Vérification,Protocoles

Résumé de la thèse

Cette thèse présente deux types de contributions : l'analyse de deux protocoles (les protocoles Android Protected Confirmation et LAKE-EDHOC) et l'amélioration de la terminaison de preuve de l'outil de vérification symbolique Tamarin. Analyse du protocole Android Protected Confirmation. Le protocole Android Protected Confirmation (ou APC) est un protocole développé par Android et Google.

Keywords

Security,Verification,Logic,Cybersecurity,Cryptographic primitives,Protocols

Abstract

This thesis brings two kinds of contributions: the analysis of two protocols (the Android Protected confirmation and the LAKE-EDHOC protocols) and the improvement of the termination of the symbolic verification tool Tamarin. Analysis of the Android Protected Confirmation protocol. The Android Protected Confirmation protocol (or APC) is a protocol developed by Android and Google.

Liste de toutes les soutenances