publicación2021Implementación y medición de KEMTLSSofía Celi, Armando Faz Hernandez, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher WoodCriptografíaMedición
publicación2021tls post-cuántico sin firmas de protocolo de enlaceSofía Celi, Armando Faz Hernandez, Peter Schwabe, Douglas Stebila, Thom WiggersCriptografía
publicación2022un relato de dos modelos: verificación formal de KEMTLS vía TamarinSofía Celi, Jonathan Hoyland, Douglas Stebila, Thom WiggersCriptografía
