Generating Concurrency Checks Automatically. - Jonathan Hoyland; Matthew Hague (FTfJP@ECOOP, 2016)

A Comprehensive Symbolic Analysis of TLS 1.3. - Cas Cremers; Marko Horvat 002; Jonathan Hoyland; Sam Scott; Thyla van der Merwe (CCS, 2017)

An analysis of TLS 1.3 and its use in composite protocols. - Jonathan Hoyland (2018)

Oblivious DNS over HTTPS (ODoH): A Practical Privacy Enhancement to DNS. - Sudheesh Singanamalla; Suphanat Chunhapanya; Jonathan Hoyland; Marek Vavrusa; Tanya Verma; Peter Wu; Marwan Fayed; Kurtis Heimerl; Nick Sullivan; Christopher A. Wood (Proc. Priv. Enhancing Technol., 2021)

Respect the ORIGIN!: a best-case evaluation of connection coalescing in the wild. - Sudheesh Singanamalla; Muhammad Talha Paracha; Suleman Ahmad; Jonathan Hoyland; Luke Valenta; Yevgen Safronov; Peter Wu; Andrew Galloni; Kurtis Heimerl; Nick Sullivan; Christopher A. Wood; Marwan Fayed (IMC, 2022)

A tale of two models: formal verification of KEMTLS via Tamarin. - Sofía Celi; Jonathan Hoyland; Douglas Stebila; Thom Wiggers (IACR Cryptol. ePrint Arch., 2022)

Guidance for External Pre-Shared Key (PSK) Usage in TLS. - Russ Housley; Jonathan Hoyland; Mohit Sethi; Christopher A. Wood (RFC, 2022)

The Concealed HTTP Authentication Scheme. - David Schinazi; David M. Oliver; Jonathan Hoyland (RFC, 2025)