Douglas Stebila

About me

I'm an Associate Professor of cryptography in the Department of Combinatorics & Optimization at the University of Waterloo in Waterloo, Ontario, Canada. My research focuses on improving the security of Internet cryptography protocols such as SSL/TLS and SSH, and developing practical quantum-resistant cryptosystems.

Research

My research interests include:

Applied cryptography: key exchange protocols; post-quantum cryptography; digital signatures; public key encryption; client puzzles / proofs of work; elliptic curve cryptography; quantum cryptography
Internet security: network security protocols (SSL/TLS, SSH, Tor, …); public key infrastructure (PKI); authentication

My full list of publications and presentations are available online. My most recent papers are:

Proof-of-possession for KEM certificates using verifiable generation

T. Güneysu, P. Hodges, G. Land, M. Ounsworth, D. Stebila, G. Zaverucha. In ACM CCS 2022.

A tale of two models: formal verification of KEMTLS via Tamarin

S. Celi, J. Hoyland, D. Stebila, T. Wiggers. In ESORICS 2022.

Improving software quality in cryptography standardization projects

M. J. Kannwischer, P. Schwabe, D. Stebila, T. Wiggers. In SSR 2022.

Post-quantum asynchronous deniable key exchange and the Signal handshake

J. Brendel, R. Fiedler, F. Günther, C. Janson, D. Stebila. In PKC 2022.

Pictures

I'm fortunate to be able to travel a lot. I take lots of pictures on my trips. The best of my photos are posted in my galleries. My most recent galleres are: