Jonathan Hoyland

Jonathan Hoylandは、証明可能で検証可能なセキュリティに焦点を当てた暗号化研究者です。形式的な分析、特に記号的な分析およびプロトコル設計に専門性を持っています。彼はIETF TLSワーキンググループの活発な貢献者です。ロイヤル・ホロウェイ、ロンドン大学で情報セキュリティのPh.D.を取得しました。

研究分野

暗号化、セキュリティ