PRIVA-SIQ
Person in charge LIMOS : LAFOURCADE PascalCoordinator : Cristina Onete
Start of project : May 1, 2024 - End of project : May 1, 2028
PRIVA-SIQ (Privacy-preserving secure communications despite subversions, interceptions, and quantum adversaries)
Secure channels are essential for interactive communications -- over the Internet, in secure payments, mobile communications, or IoT communications – and non-interactive ones – such as secure messaging. Unfortunately, whereas protocol-security is at the forefront of today’s digital communications, much less interest has been paid to user privacy. Yet, user-privacy is a fundamental human right – and in fact much more fragile than security in the context of communications.
Threats to user-privacy in secure-channel establishment abound, at all levels. In this project, our goal is to specifically tackle the following threats:
- Interception: Privacy with respect to person-in-the-middle adversaries (exterior to the communication and aiming to track, deanonymize, or identify an endpoint of the channel);
- Subversion: Providing privacy-enhancing countermeasures against mass-surveillance attacks;
- Quantum adversaries: Designing protocols that preserve both user-privacy and security against powerful quantum adversaries.
Partner Organizations :
|
|
|
|
|
Financier : ANR
Publications associées
| Date publi Type |
Co-authors Title journal or conference |
|---|---|
| 2025
COMM |
Pascal Lafourcade, Elsa Lopez Perez, Charles Olivier-Anclin, Cristina Onete, Clément Papon, Mališa Vučinić
including 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
including 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
including 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
including 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
including LIMOS : Pascal LAFOURCADE , Maxime PUYS , Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles Information Security Conference - 2024 |
| 2024
COMM |
Xavier Bultel, Charles Olivier-Anclin
including 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
including 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, Charlène Jojon, Pascal Lafourcade
including 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 |
Pascal Lafourcade, Dhekra Mahmoud, Gael Marcadet, Charles Olivier-Anclin
including 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
including 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
including LIMOS : Pascal LAFOURCADE , Dhekra MAHMOUD , A Unified Symbolic Analysis of WireGuard Usenix Network and Distributed System Security Symposium - 2024 |