MAHMOUD - Dhekra
F203 ISIMA
dhekra.mahmoud@doctorant.uca.fr
04
Doctorant
Axe SIC : Systèmes d’Information et de Communication
Thème(s) : Réseau et sécurité
Dernière(s) publication(s) au LIMOS :
Toutes les publications de Dhekra MAHMOUD au LIMOS
Dernière(s) publication(s) au LIMOS :
Dernière(s) publication(s) au LIMOS :
| 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 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 : 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é |