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 |
|---|---|
| 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 |