PRIVA-SIQ
Responsable LIMOS : LAFOURCADE PascalCoordinateur : Cristina Onete
Début du projet : 1 mai 2024 - Fin du projet : 1 mai 2028
PRIVA-SIQ (Privacy-preserving secure communications despite subversions, interceptions, and quantum adversaries)
L'utilisation des canaux sécurisés est essentielle dans la sécurisation des communications, qu'elles soient interactives -- sur Internet, pour les paiements, la communication mobile ou pour l'IoT -- ou non-interactives -- comme l'utilisation de la messagerie asynchrone. Bien que la sécurité des canaux de communication est une thématique de recherche connue est approfondie aujourd'hui, le respect de la vie privée dans ces communications ne l'est pas. Pourtant, le respect de la vie privée est un droit de l'homme fondamental, et il est bien plus fragile que la confidentialité des messages dans le contexte des communications.
Les menaces de la vie privée des utilisateurs abondent à tout niveau dans le contexte de l'établissement des canaux sécurisés. Dans ce projet notre but est de traiter les dangers suivants :
- L'interception : garantir la vie privée par rapport aux attaquants au milieu (qui écoutent les communications sur un canal dans le but de poursuivre, désanonymiser, ou identifier l'un des bouts légitimes du canal) ;
- La subversion : développer des mécanismes garantissant la vie privée contre la surveillance de masse ;
- Les adversaires quantiques : concevoir des protocoles capables de garantir à la fois la sécurité des communications et le respect de la vie privée des utilisateurs, même contre de puissants adversaires quantiques.
Organismes partenaires :
|
|
|
|
|
Financeur : ANR
Publications associées
| Date publi Type |
Co-auteurs Titre journal ou conférence |
|---|---|
| 2025
COMM |
Pascal Lafourcade, Elsa Lopez Perez, Charles Olivier-Anclin, Cristina Onete, Clément Papon, Mališa Vučinić
dont LIMOS : Pascal LAFOURCADE , Charles OLIVIER-ANCLIN , Fine-grained, privacy-augmenting LI-compliance in the LAKE standard - Extended version ESORICS 2025 - 30th European Symposium on Research in Computer Security - 2025 |
| 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 |
Charles Olivier-Anclin, Ioana Boureanu, Liqun Chen, Christopher Newton, Tom Chothia, Anna Clee, Andreas Kokkinis, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Charles OLIVIER-ANCLIN , Who Pays Whom? Anonymous EMV-Compliant Contactless Payments 34th USENIX Security Symposium 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 |
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 |
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 |
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 |