University of Exeter
PhD in End-to-End Verification of Security Protocols in Isabelle
- Exeter
- £21,805 pa
- Entry level
- Contract
A PhD project investigating end-to-end guarantees for security systems by verifying translations between programs and the representations used by security protocols. The work centres on Isabelle/HOL, developing semantic models and compilation techniques, with zero-knowledge proof systems such as STARK-style protocols as a key application area. It spans formal methods, programming languages, cybersecurity and cryptography, with scope to shape the direction around the student's interests.
Isabelle/HOL · STARK