Jonathan Hoyland

According to our database, Jonathan Hoyland authored at least 7 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Guidance for External Pre-Shared Key (PSK) Usage in TLS.

Russ Housley, Jonathan Hoyland, Mohit Sethi, Christopher A. Wood

RFC, July, 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

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

Proceedings of the 22nd ACM Internet Measurement Conference, 2022

2021

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

2018

An analysis of TLS 1.3 and its use in composite protocols.

Jonathan Hoyland

PhD thesis, 2018

2017

A Comprehensive Symbolic Analysis of TLS 1.3.

Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Generating Concurrency Checks Automatically.

Jonathan Hoyland, Matthew Hague

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016