MobiS5: La sécurité et la protection de la vie privée dans les réseaux mobiles
Responsable LIMOS : LAFOURCADE PascalCoordinateur : Cristina Onete
Début du projet : 15 janvier 2019 - Fin du projet : 15 juillet 2024
URL : https://mobis5.limos.fr/
The main novelty of our project lies in the fact that it centers around the architecture and constraints of 5G networks
Organismes partenaires :
|
|
|
|
|
|
Financeur : ANR
Publications associées
| Date publi Type |
Co-auteurs Titre journal ou conférence |
|---|---|
| 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 |
Xavier Bultel, Charles Olivier-Anclin
dont LIMOS : Xavier BULTEL , Charles OLIVIER-ANCLIN , Taming Delegations in Anonymous Signatures: k-Times Anonymity for Proxy and Sanitizable Signature CANS 2024 - 23rd International Conference on Cryptology and Network Security - 2024 |
| 2024
COMM |
Xavier Bultel, Charles Olivier-Anclin
dont LIMOS : Xavier BULTEL , Charles OLIVIER-ANCLIN , On the Anonymity of Linkable Ring Signatures 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
ART |
Loïc Crombez, Guilherme D da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
dont LIMOS : Guilherme DIAS DA FONSECA , Pascal LAFOURCADE , Luc LIBRALESSO , Yan GERARD , Shadoks Approach to Low-Makespan Coordinated Motion Planning ACM Journal of Experimental Algorithmics - 2022 |
| 2022
COMM |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT , Card-Based ZKP Protocol for Nurimisaki Symposium on Stabilization, Safety, and Security of Distributed Systems - 2022 |
| 2022
THESE |
Léo Robert
dont LIMOS : Léo ROBERT , Design and analysis of provably secure protocols : Applications to messaging and attestation |
| 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
COMM |
Loïc Crombez, Guilherme D. da Fonseca, Yan Gérard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
dont LIMOS : Guilherme DIAS DA FONSECA , Pascal LAFOURCADE , Luc LIBRALESSO , Yan GERARD , Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge) 37th International Symposium on Computational Geometry, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference) - 2021 |
| 2021
COMM |
Ioana Boureanu, Constantin Cătălin Drăgan, François Dupressoir, David Gérault, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Mechanised Models and Proofs for Distance-Bounding IEEE Computer Security Foundations Symposium (was CSFW) - 2021 |
| 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 |