Jonathan Hoyland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESORICS | A Tale of Two Models: Formal Verification of KEMTLS via Tamarin. | Sofa Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers |
| 2022 | IMC | 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 |
| 2017 | CCS | A Comprehensive Symbolic Analysis of TLS 1.3. | Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe |
| 2016 | ECOOP | Generating Concurrency Checks Automatically. | Jonathan Hoyland, Matthew Hague |