Dhekra Mahmoud

According to our database, Dhekra Mahmoud authored at least 12 papers between 2023 and 2025.

Collaborative distances:

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

2025

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

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

Dataset, August, 2025

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

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

Dataset, June, 2025

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

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

Dataset, June, 2025

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

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

Dataset, May, 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

Proceedings of the 34th USENIX Security Symposium, 2025

Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability.

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

Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, 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

2023

Artifacts for NDSS 2024 paper "A Unified Symbolic Analysis of WireGuard".

Sylvain Ruhault, Pascal Lafourcade, Dhekra Mahmoud

Dataset, November, 2023