Dhekra Mahmoud

According to our database, Dhekra Mahmoud authored at least 4 papers in 2024.

Collaborative distances:

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

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