Mr Jonathan Hoyland
Supervised by
Matthew Hague First/primary/lead supervisor
1/10/14 → …
Jason Crampton
1/10/13 → …
Educational background
Awarded a Masters degree in Computer Science from the University of Oxford.
Research interests
Model Checking, Verification of Security Protocols, Formal Methods.
- Published
A Comprehensive Symbolic Analysis of TLS 1.3
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Generating Concurrency Checks Automatically
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ID: 17725181