Projects

PRIVA-SIQ

Person in charge LIMOS : LAFOURCADE Pascal
Coordinator : 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