Login / Signup
Dhekra Mahmoud
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Coloured Petri Nets
Security Flaws
Malicious Attacks
Voting Protocols
Top Venues
AsiaCCS
USENIX Security Symposium
</>
Publications
</>
Pascal Lafourcade
,
Dhekra Mahmoud
,
Gaël Marcadet
,
Charles Olivier-Anclin
Transferable, Auditable and Anonymous Ticketing Protocol.
AsiaCCS
(2024)
Jannik Dreier
,
Pascal Lafourcade
,
Dhekra Mahmoud
Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets.
USENIX Security Symposium
(2024)