Steve Kremer
Original record- Institution
- Université Libre de Bruxelles
- Year
- 2003
- Country
- Belgium
- MGP identifier
- 146077
Dissertation: Formal Analysis of Optimistic Fair Exchange Protocols
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Yves RoggemanInstitution not recorded
- Jean-François RaskinFacultes Universitaires Notre-Dame de la Paix, Namur, Belgium · 1999
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Ştefan Ciobâcă | École Normale Supérieure de Cachan | 2011 | 0 |
| Charlie Jacomme | École Normale Supérieure de Cachan | 2020 | 0 |
| Maïwenn Racouchot | Université de Lorraine | 2025 | 0 |