Asap
Prouver la sécurité des protocoles cryptographiques
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.