Concepedia

Jonathan Hoyland

JH

2

Publications

204

Citations

2

H-Index

2017

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Jonathan Hoyland is an author at Max Planck Institute for Software Systems specializing in data security, formal verification, and hardware security.

Top concepts

EngineeringCryptographyData SecurityFormal MethodsComputer ScienceHardware SecuritySoftware AnalysisInternet Of ThingsFormal VerificationInformation Security

Publications per year

2017–2021

2

Publications

2

A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers, Marko Horvat, Jonathan Hoyland et al. · 2017 · 175 citations

Comprehensive Symbolic Analysis, Cryptographic Primitive, Engineering +17

Oblivious DNS over HTTPS (ODoH): A Practical Privacy Enhancement to DNS

Sudheesh Singanamalla, Suphanat Chunhapanya, Jonathan Hoyland et al. · SHILAP Revista de lepidopterología · 2021 · 29 citations · Full text

Rows per page

1–2 of 2