publication2021Implementing and measuring KEMTLSSofía Celi, Armando Faz Hernandez, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher WoodCryptographyMeasurement
publication2021Post-quantum TLS without handshake signaturesSofía Celi, Armando Faz Hernandez, Peter Schwabe, Douglas Stebila, Thom WiggersCryptography
publication2022A tale of two models: Formal verification of KEMTLS via TamarinSofía Celi, Jonathan Hoyland, Douglas Stebila, Thom WiggersCryptography
