blog
19 de junho de 2019
Jonathan Hoyland é um pesquisador de criptografia, com foco em segurança provável e verificável. Ele se especializa em análise formal, especialmente análise simbólica, e design de protocolos. Ele é um contribuinte ativo do Grupo de Trabalho TLS da IETF. Ele tem um Ph.D. em Segurança da Informação da Royal Holloway, Universidade de Londres.
Áreas de pesquisa
Criptografia, Segurança