Dhekra Mahmoud

According to our database, Dhekra Mahmoud authored at least 6 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Experiment artifacts for ASIACCS 2025 submission #175.

Ayoub Ben Hassen, Pascal Lafourcade, Dhekra Mahmoud, Maxime Puys

Dataset, January, 2025

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.

Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb

IACR Cryptol. ePrint Arch., 2025

2024

Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets.

Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud

Proceedings of the 33rd USENIX Security Symposium, 2024

Formal Analysis of C-ITS PKI Protocols.

Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud

Proceedings of the 21st International Conference on Security and Cryptography, 2024

A Unified Symbolic Analysis of WireGuard.

Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

Transferable, Auditable and Anonymous Ticketing Protocol.

Pascal Lafourcade, Dhekra Mahmoud, Gaël Marcadet, Charles Olivier-Anclin

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024