Transferable, Auditable and Anonymous Ticketing Protocol. - Pascal Lafourcade 001; Dhekra Mahmoud; Gaël Marcadet; Charles Olivier-Anclin (AsiaCCS, 2024)

A Unified Symbolic Analysis of WireGuard. - Pascal Lafourcade 001; Dhekra Mahmoud; Sylvain Ruhault (NDSS, 2024)

Formal Analysis of C-ITS PKI Protocols. - Mounira Msahli; Pascal Lafourcade 001; Dhekra Mahmoud (SECRYPT, 2024)

Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets. - Jannik Dreier; Pascal Lafourcade 001; Dhekra Mahmoud (USENIX Security Symposium, 2024)

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization. - Pascal Lafourcade 001; Dhekra Mahmoud; Sylvain Ruhault; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2025)

Experiment artifacts for ASIACCS 2025 submission #175. - Ayoub Ben Hassen; Pascal Lafourcade 001; Dhekra Mahmoud; Maxime Puys (Zenodo, 2025)