Stéphanie Delaune
Original record- Institution
- École Normale Supérieure de Cachan
- Year
- 2006
- Country
- France
- MGP identifier
- 239044
Dissertation: Vérification de protocoles cryptographiques et propriétés algébriques
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Francis KlayUniversité Henri Poincaré Nancy 1 · 1992
- Hubert ComonInstitut National Polytechnique de Grenoble (INPG) · 1988
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Mathilde Arnaud | École Normale Supérieure de Cachan | 2011 | 0 |
| Sergiu Bursuc | École Normale Supérieure de Cachan | 2009 | 0 |
| Vincent Cheval | École Normale Supérieure de Cachan | 2012 | 0 |
| Rémy Chrétien | École Normale Supérieure de Cachan | 2016 | 0 |
| Antoine Dallon | École Normale Supérieure de Cachan | 2018 | 0 |
| Lucca Hirschi | École Normale Supérieure de Cachan | 2017 | 0 |