Search

News
People
Events
Publications
Contact

Douglas Stebila

Associate Professor

University of Waterloo

Interests

Cryptography
Post-Quantum Cryptography
Protocols
Information Security

Education

Latest

A tale of two models: formal verification of KEMTLS in Tamarin
More efficient post-quantum KEMTLS with pre-distributed public keys
Post-Quantum TLS without handshake signatures

© 2023 authors. This work is licensed under CC BY SA 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite