Véronique Cortier
Original record- Institution
- École Normale Supérieure de Cachan
- Year
- 2003
- Country
- France
- MGP identifier
- 239045
Dissertation: Vérification automatique de protocoles cryptographiques
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Hubert ComonInstitut National Polytechnique de Grenoble (INPG) · 1988
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Rémy Chrétien | École Normale Supérieure de Cachan | 2016 | 0 |
| Ştefan Ciobâcă | École Normale Supérieure de Cachan | 2011 | 0 |
| Antoine Dallon | École Normale Supérieure de Cachan | 2018 | 0 |
| Guillaume Scerri | École Normale Supérieure de Cachan | 2015 | 0 |
| Cyrille Wiedling | Université de Lorraine | 2014 | 0 |
| Eugen Zalinescu | Université Henri Poincaré Nancy 1 | 2007 | 0 |