SEVERITAS : Systèmes de tests et évaluations sûrs et vérifiables
Responsable LIMOS : LAFOURCADE PascalCoordinateur : 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 : |