Dhekra Mahmoud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AsiaCCS | Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+. | Elsa Lpez Prez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, Malisa Vucinic |
| 2025 | AsiaCCS | Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability. | Ayoub Ben Hassen, Pascal Lafourcade, Dhekra Mahmoud, Maxime Puys |
| 2024 | AsiaCCS | Transferable, Auditable and Anonymous Ticketing Protocol. | Pascal Lafourcade, Dhekra Mahmoud, Gal Marcadet, Charles Olivier-Anclin |
| 2024 | NDSS | A Unified Symbolic Analysis of WireGuard. | Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault |
| 2024 | SECRYPT | Formal Analysis of C-ITS PKI Protocols. | Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud |