Jannik Dreier
Original record- Institution
- Université de Grenoble
- Year
- 2013
- Country
- France
- MGP identifier
- 316795
Dissertation: Formal Verification of Voting and Auction Protocols: From Privacy to Fairness and Verifiability
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Yassine LakhnechInstitution not recorded
- Pascal LafourcadeÉcole Normale Supérieure de Cachan · 2006
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Dhekra Mahmoud | Université Clermont Auvergne | 2025 | 0 |
| Maïwenn Racouchot | Université de Lorraine | 2025 | 0 |