PhD in End-to-End Verification of Security Protocols in Isabelle
University of Exeter
- Exeter
Modern security systems often rely on complex software that translates programs into forms that can be checked automatically. To trust such systems, it is not enough to verify the underlying security