Maïwenn Racouchot
Original record- Institution
- Université de Lorraine
- Year
- 2025
- Country
- France
- MGP identifier
- 344340
Dissertation: Formal analysis of security protocols: real-world case-studies and automated proof strategies
Advisors 2
- Jannik DreierUniversité de Grenoble · 2013
- Steve KremerUniversité Libre de Bruxelles · 2003
Students 0
No students recorded in this snapshot.