Graham Steel
Original record- Institution
- The University of Edinburgh
- Year
- 2003
- Country
- United Kingdom
- MGP identifier
- 239109
Dissertation: Discovering Attacks on Security Protocols by Refuting Incorrect Inductive Conjectures
Mathematics Subject Classification: 68—Computer science
Advisors 4
- Alan Richard BundyUniversity of Leicester · 1971
- Monika MaidlLudwig-Maximilians-Universität Landshut · 2000
- Ewen DenneyThe University of Edinburgh · 1999
- Louise Abigail DennisThe University of Edinburgh · 1998
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Gavin Keighren | The University of Edinburgh | 2014 | 0 |