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
publication2025Hybrid Obfuscated Key Exchange and KEMsFelix Günther, Michael Rosenberg, Douglas Stebila, Shannon VeitchCryptographyPost-QuantumProtocols
publication2015An analysis of TLS handshake proxyingDouglas Stebila, Nick SullivanCryptographyAuthentication