Projets

PRIVA-SIQ

Responsable LIMOS : LAFOURCADE Pascal
Coordinateur : 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