blog
19 de junio de 2019
Jonathan Hoyland es un investigador de criptografía, con un enfoque en la seguridad probada y verificable. Se especializa en el análisis formal, especialmente en el análisis simbólico, y en el diseño de protocolos. Es un contribuyente activo al grupo de trabajo TLS de la IETF. Tiene un doctorado en Seguridad de la Información por Royal Holloway, Universidad de Londres.
Áreas de investigación
Criptografía, Seguridad