VePaSS : Verification of Probabilistic Security Systems
ERC Synergy Grant
Membres de l'équipe :
- Vincent Cheval, associate professor à l'Université d'Oxford
- Véronique Cortier, directrice de recherche CNRS au Laboratoire lorrain de recherche en informatique et ses applications (LORIA - CNRS/Université de Lorraine)
- Mahsa Shirmohammadi, chargée de recherche CNRS à l'Institut de recherche en informatique fondamentale (IRIF - CNRS/Université Paris Cité)
- Sébastien Tavenas, chargé de recherche CNRS au Laboratoire de mathématiques(LAMA - CNRS/Université de Savoie Mont Blanc)
Projet : Verification of probabilistic security systems
VePaSS
Les outils disponibles pour analyser les protocoles de sécurité des infrastructures numériques ne prennent pas en compte tous les comportements probabilistes, vulnérables à des attaques, par exemple dans les systèmes vote électronique ou d'authentification à distance. L’équipe de recherche du projet VePaSS a reçu une bourse du Conseil européen de le recherche (ERC) Synergy. Avec une approche interdisciplinaire, ils ont pour ambition de créer de nouveaux outils pour vérifier la fiabilité des systèmes de sécurité probabilistes.
Fiche identité du projet
- Nom du projet : VePaSS : Verification of Probabilistic Security Systems
- Type d’ERC : Synergy Grant
- Date d’obtention : 2025
- Laboratoires : Laboratoire lorrain de recherche en informatique et ses applications (LORIA - CNRS/Université de Lorraine), Institut de recherche en informatique fondamentale (IRIF - CNRS/Université Paris Cité), Laboratoire de mathématiques(LAMA - CNRS/Université de Savoie Mont Blanc)