MAHMOUD - Dhekra



F203 ISIMA
dhekra.mahmoud@doctorant.uca.fr
04
Phd
Axis ICS : Information and Communication Systems
Thème(s) : Network and Security

Last publications in LIMOS

All the publications of Dhekra MAHMOUD at LIMOS

Last publications in 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é