Jonathan Hoyland
Research Engineer

import ProfileHeader from '@site/src/components/ProfileHeader';

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)

Publications