Sebastian Alexander Mödersheim
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Switzerland
- MGP identifier
- 130585
Dissertation: Models and Methods for the Automated Verification of Security Protocols
Mathematics Subject Classification: 68—Computer science
Advisors 2
- David Alan BasinCornell University · 1989
- Luca ViganòUniversität des Saarlandes · 1997
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Omar Saad Kulieb Almousa | Technical University of Denmark | 2016 | 0 |
| Laouen Pablo Kilian Fernet | Technical University of Denmark | 2025 | 0 |
| Sébastien Pierre Christophe Gondron | Technical University of Denmark | 2021 | 0 |
| Andreas Viktor Hess | Technical University of Denmark | 2018 | 0 |