Cas Cremers
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 2006
- Country
- Netherlands
- MGP identifier
- 189562
Dissertation: Scyther: Semantics and verification of security protocols
Mathematics Subject Classification: 68—Computer science
Advisors 3
- Sjouke MauwUniversiteit van Amsterdam · 1991
- Erik Peter de VinkVrije Universiteit Amsterdam · 1990
- Josephus Cornelis Maria BaetenUniversity of Minnesota - Twin Cities · 1985
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Katriel Cohn-Gordon | Not recorded | — | 0 |
| Martin Dehnel-Wild | Not recorded | — | 0 |
| Michèle Feltz | Not recorded | — | 0 |
| Luke Garratt | Not recorded | — | 0 |
| Marko Horvat | University of Oxford | 2015 | 0 |
| Dennis Jeffrey Jackson | Not recorded | — | 0 |
| Simon Meier | Not recorded | — | 0 |
| Kevin Milner | Not recorded | — | 0 |
| Mang Zhao | Not recorded | — | 0 |