Dhekra Mahmoud
Original record- Institution
- Université Clermont Auvergne
- Year
- 2025
- Country
- France
- MGP identifier
- 344339
Dissertation: Security Protocol Design and Symbolic Analysis: Hybrid Protocols, Derived Adversary Models, and Refined Equational Theories
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Jannik DreierUniversité de Grenoble · 2013
- Pascal LafourcadeÉcole Normale Supérieure de Cachan · 2006
Students 0
No students recorded in this snapshot.