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
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
2024
COMM
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
dont LIMOS : Pascal LAFOURCADE , Maxime PUYS ,
Secure Voting Protocol Using Balance Scale
17th International Symposium on Foundations & Practice of Security (FPS – 2024). - 2024
2024
COMM
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
dont LIMOS : Pascal LAFOURCADE , Maxime PUYS ,
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles
Information Security Conference - 2024
2024
COMM
Xavier Bultel, Charlène Jojon, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Xavier BULTEL ,
Cryptographic cryptid protocols: How to play cryptid with cheaters
CANS 2024 - 23rd International Conference on Cryptology And Network Security - 2024
2024
COMM
Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
dont LIMOS : Pascal LAFOURCADE , Dhekra MAHMOUD ,
Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets
Usenix Security Symposium - 2024
2024
COMM
Pascal Lafourcade, Dhekra Mahmoud, Gael Marcadet, Charles Olivier-Anclin
dont LIMOS : Pascal LAFOURCADE , Gael MARCADET , Charles OLIVIER-ANCLIN , Dhekra MAHMOUD ,
Transferable, Auditable and Anonymous Ticketing Protocol
2024 Asia Conference on Information, Computer and Communications Security - 2024
2024
COMM
Antoine Dailly, Pascal Lafourcade, Gael Marcadet
dont LIMOS : Pascal LAFOURCADE , Gael MARCADET , Antoine DAILLY ,
How did they design this game? Swish: complexity and unplayable positions
12th International Conference on Fun with Algorithms (FUN 2024) - 2024
2024
COMM
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault
dont LIMOS : Pascal LAFOURCADE , Dhekra MAHMOUD ,
A Unified Symbolic Analysis of WireGuard
Usenix Network and Distributed System Security Symposium - 2024
2023
ART
Loïc Crombez, Guilherme da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, da Wei Zheng
dont LIMOS : Pascal LAFOURCADE , Luc LIBRALESSO , Yan GERARD ,
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring
ACM Journal of Experimental Algorithmics - 2023
2023
ART
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT ,
ZKP protocols for Usowan, Herugolf and Five Cells
Tsinghua Science and Technology - 2023
2022
COMM
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT ,
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing
ACM Symposium on Applied Computing - 2022
2022
ART
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT , Luc LIBRALESSO ,
Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆
Information and Computation - 2022
2021
ART
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT ,
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition
Theoretical Computer Science - 2021