Dhekra Mahmoud

According to our database, Dhekra Mahmoud authored at least 14 papers between 2023 and 2026.

Collaborative distances:

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

2026

Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+.

Elsa López Pérez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, Malisa Vucinic

Proceedings of the ACM Asia Conference on Computer and Communications Security, 2026

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

Security Protocol Design and Symbolic Analysis: Hybrid Protocols, Derived Adversary Models, and Refined Equational Theories. (Conception de protocoles de sécurité et analyse symbolique: protocoles hybrides, Modèles d'adversaires dérivés et Théories équationnelles affinées).

Dhekra Mahmoud

PhD thesis, 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