David Butler
Original record- Institution
- Not recorded
- Year
- 2020
- Country
- Not recorded
- MGP identifier
- 331878
Dissertation: Formalising cryptography using CryptHOL
Mathematics Subject Classification: 68—Computer science
Advisors 2
- David AspinallThe University of Edinburgh · 1997
- Adrià GascónInstitution not recorded
Students 0
No students recorded in this snapshot.