MAHMOUD - Dhekra
Toutes les publications (6)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 2025
COMM |
Ayoub Ben Hassen, Dhekra Mahmoud, Pascal Lafourcade, 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 |
Informatique/Cryptographie et sécurité | ||
| 2025
THESE |
Dhekra Mahmoud
Security Protocol Design and Symbolic Analysis : Hybrid Protocols, Derived Adversary Models, and Refined Equational Theories |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets Usenix Security Symposium - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Pascal Lafourcade, Dhekra Mahmoud, Gael Marcadet, Charles Olivier-Anclin
Transferable, Auditable and Anonymous Ticketing Protocol 2024 Asia Conference on Information, Computer and Communications Security - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud
Formal Analysis of C-ITS PKI protocols SECRYPT 2024 : International Conference on Information Security and Cryptography - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault
A Unified Symbolic Analysis of WireGuard Usenix Network and Distributed System Security Symposium - 2024 |
Informatique/Cryptographie et sécurité |