publicação2021Implementando e medindo KEMTLSSofía Celi, Armando Faz Hernandez, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher WoodCriptografiaMedição
publicação2021tls pós-quântico sem assinaturas de handshakeSofía Celi, Armando Faz Hernandez, Peter Schwabe, Douglas Stebila, Thom WiggersCriptografia
publicação2022Uma história de dois modelos: Verificação formal de KEMTLS via TamarinSofía Celi, Jonathan Hoyland, Douglas Stebila, Thom WiggersCriptografia
