Asap

Prouver la sécurité des protocoles cryptographiques
INRIA-0124-149-steve_300_400
© Inria / Photo Kaksonen

Projet : Tools for automated, symbolic analysis of real-world cryptographic protocols

Porteur : Steve Kremer – équipe Pesto – Inria Nancy - Grand Est

Champ d’action : protocole pour le futur standard 5G, messagerie instantanée, vote électronique, etc.

Objectif : concevoir des algorithmes et outils automatiques pour vérifier l'absence de failles dans les protocoles cryptographiques actuellement déployés (messageries instantanées, téléphonie mobile, vote électronique…) afin de garantir l’authenticité et la confidentialité des données numériques et mieux protéger la vie privée des utilisateurs.