Jonathan Hoyland
Research Engineer
Jonathan Hoyland is a cryptography researcher, with a focus on provable and verifiable security. He specialises in formal analysis, especially symbolic analysis, and protocol design. He is an active contributor to the IETF TLS Working Group. He has a Ph.D. in Information Security from Royal Holloway, University of London.
Research Areas#
Cryptography, Security
Projects (incomplete)#
- Addressing Agility (public in August)
- Oblivious DNS over HTTPS
- CAP
- ECH