Projets

SEVERITAS : Systèmes de tests et évaluations sûrs et vérifiables

Responsable LIMOS : LAFOURCADE Pascal
Coordinateur : Ylès Falcone
Début du projet : 1 mai 2021 - Fin du projet : 1 mai 2025

URL : https://severitas.univ-grenoble-alpes.fr/

SEVERITAS vise à améliorer la sécurité des systèmes électroniques de test et d'évaluation (e-TAS). Ces systèmes mesurent les compétences et les performances des utilisateurs. Ils ont été introduits pour améliorer la gestion, réduire le temps d'évaluation, atteindre un public plus large, mais pas pour assurer la sécurité. La sécurité est indispensable pour les e-TAS et elle est encore largement inexplorée. SEVERITAS vise à combler cela: en étudiant les propriétés de sécurité adatptées; en mettant à jour les outils automatisés de vérification formelle pour les e-TAS; en développant de nouvelles procédures et protocoles e-TAS sûrs, transparents, vérifiables et légaux; en déployant de nouvelles stratégies de surveillance de l'exécution pour réduire les fraudes; en étudiant l'expérience utilisateur des e-TAS. Et grâce à la connexion avec les acteurs de l'e-TAS, comme OASYS, ce projet contribuera au développement d'e-TAS sécurisé.





Organismes partenaires :

Financeur : ANR
Publications associées
Date publi
Type
Co-auteurs
Titre
journal ou conférence
2026
REPORT
Jannik Dreier, Pascal Lafourcade, Yliès Falcone, Gabriele Lenzini
dont LIMOS : Pascal LAFOURCADE ,
Secure and Verifiable Test and Assessment System project DMP
2025
COMM
Ayoub Ben Hassen, Dhekra Mahmoud, Pascal Lafourcade, Maxime Puys
dont LIMOS : Pascal LAFOURCADE , Dhekra MAHMOUD , Maxime PUYS ,
Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability
20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025) - 2025
2025
COMM
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb
dont LIMOS : Pascal LAFOURCADE , Dhekra MAHMOUD ,
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization
Usenix Security 2025 - 2025


dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :



dont LIMOS :