Pascal Lafourcade
Original record- Institution
- École Normale Supérieure de Cachan
- Year
- 2006
- Country
- France
- MGP identifier
- 293214
Dissertation: Vérification de protocoles cryptographiques en présence de théories équationnelles
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Denis LugiezInstitution not recorded
- Ralf TreinenInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Xavier Bultel | Not recorded | 2018 | 0 |
| Jannik Dreier | Université de Grenoble | 2013 | 2 |
| Mirko Koscina | École Normale Supérieure and Université Clermont Auvergne | 2021 | 0 |
| Marius Lombard-Platet | École Normale Supérieure | 2021 | 0 |
| Dhekra Mahmoud | Université Clermont Auvergne | 2025 | 0 |
| Charles Olivier-Anclin | Université Clermont Auvergne | 2024 | 0 |
| Octavio Pérez Kempner | École Normale Supérieure | 2022 | 0 |