Douglas Stebila

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 76

Top Venues

IACR Cryptol. ePrint Arch.

CCS

PQCrypto

CoRR

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Chris Brzuska, Cas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi
Falsifiability, Composability, and Comparability of Game-based Security Models for Key Exchange Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Felix Günther, Douglas Stebila, Shannon Veitch
Obfuscated Key Exchange. IACR Cryptol. ePrint Arch. 2024 (2024)
Douglas Stebila, Spencer Wilson
Quantum-Safe Account Recovery for WebAuthn. IACR Cryptol. ePrint Arch. 2024 (2024)
Douglas Stebila
Security analysis of the iMessage PQ3 protocol. IACR Cryptol. ePrint Arch. 2024 (2024)
Douglas Stebila, Spencer Wilson
Quantum-Safe Account Recovery for WebAuthn. AsiaCCS (2024)
Marcel Tiepelt, Edward Eaton, Douglas Stebila
Making an Asymmetric PAKE Quantum-Annoying by Hiding Group Elements. ESORICS (1) (2023)
Sungmi Park, Douglas Stebila
The Future of Digital Investigation: Automated Legal Inference. IEEE Secur. Priv. 21 (1) (2023)
Chelsea Komlo, Ian Goldberg, Douglas Stebila
A Formal Treatment of Distributed Key Generation, and New Constructions. IACR Cryptol. ePrint Arch. 2023 (2023)
Marcel Tiepelt, Edward Eaton, Douglas Stebila
Making an Asymmetric PAKE Quantum-Annoying by Hiding Group Elements. IACR Cryptol. ePrint Arch. 2023 (2023)
Jason Goertzen, Douglas Stebila
Post-Quantum Signatures in DNSSEC via Request-Based Fragmentation. PQCrypto (2023)
Carlos Aguilar Melchor, Thomas Bailleux, Jason Goertzen, David Joseph, Douglas Stebila
TurboTLS: TLS connection establishment with 1 less round trip. CoRR (2023)
Tim Güneysu, Philip Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha
Proof-of-possession for KEM certificates using verifiable generation. IACR Cryptol. ePrint Arch. 2022 (2022)
Jörg Schwenk, Douglas Stebila
A reduction-based proof for authentication and session key security in three-party Kerberos. Int. J. Appl. Cryptogr. 4 (2) (2022)
Matthias J. Kannwischer, Peter Schwabe, Douglas Stebila, Thom Wiggers
Improving Software Quality in Cryptography Standardization Projects. EuroS&P Workshops (2022)
Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers
A Tale of Two Models: Formal Verification of KEMTLS via Tamarin. ESORICS (3) (2022)
Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers
A tale of two models: formal verification of KEMTLS via Tamarin. IACR Cryptol. ePrint Arch. 2022 (2022)
Matthias J. Kannwischer, Peter Schwabe, Douglas Stebila, Thom Wiggers
Improving Software Quality in Cryptography Standardization Projects. IACR Cryptol. ePrint Arch. 2022 (2022)
Tim Güneysu, Philip Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha
Proof-of-Possession for KEM Certificates using Verifiable Generation. CCS (2022)
Jacqueline Brendel, Rune Fiedler, Felix Günther, Christian Janson, Douglas Stebila
Post-quantum Asynchronous Deniable Key Exchange and the Signal Handshake. Public Key Cryptography (2) (2022)
Jason Goertzen, Douglas Stebila
Post-Quantum Signatures in DNSSEC via Request-Based Fragmentation. CoRR (2022)
Edward Eaton, Douglas Stebila
The "quantum annoying" property of password-authenticated key exchange protocols. IACR Cryptol. ePrint Arch. 2021 (2021)
Peter Schwabe, Douglas Stebila, Thom Wiggers
More Efficient Post-quantum KEMTLS with Pre-distributed Public Keys. ESORICS (1) (2021)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. J. Cryptol. 34 (4) (2021)
Peter Schwabe, Douglas Stebila, Thom Wiggers
More efficient post-quantum KEMTLS with pre-distributed public keys. IACR Cryptol. ePrint Arch. 2021 (2021)
Edward Eaton, Douglas Stebila
The "Quantum Annoying" Property of Password-Authenticated Key Exchange Protocols. PQCrypto (2021)
Nina Bindel, Douglas Stebila, Shannon Veitch
Improved Attacks Against Key Reuse in Learning with Errors Key Exchange. LATINCRYPT (2021)
Philip Hodges, Douglas Stebila
Algorithm Substitution Attacks: State Reset Detection and Asymmetric Modifications. IACR Trans. Symmetric Cryptol. 2021 (2) (2021)
Alfred Menezes, Douglas Stebila
End-to-End Security: When Do We Have It? IEEE Secur. Priv. 19 (4) (2021)
Alfred Menezes, Douglas Stebila
Challenges in Cryptography. IEEE Secur. Priv. 19 (2) (2021)
Bertram Poettering, Paul Rösler, Jörg Schwenk, Douglas Stebila
SoK: Game-based Security Models for Group Key Exchange. IACR Cryptol. ePrint Arch. 2021 (2021)
Bertram Poettering, Paul Rösler, Jörg Schwenk, Douglas Stebila
SoK: Game-Based Security Models for Group Key Exchange. CT-RSA (2021)
Edward Eaton, Douglas Stebila, Roy Stracovsky
Post-quantum Key-Blinding for Authentication in Anonymity Networks. LATINCRYPT (2021)
Alfred Menezes, Douglas Stebila
The Advanced Encryption Standard: 20 Years Later. IEEE Secur. Priv. 19 (6) (2021)
Jacqueline Brendel, Rune Fiedler, Felix Günther, Christian Janson, Douglas Stebila
Post-quantum Asynchronous Deniable Key Exchange and the Signal Handshake. IACR Cryptol. ePrint Arch. 2021 (2021)
Xavier Boyen, Udyani Herath, Matthew McKague, Douglas Stebila
Associative Blockchain for Decentralized PKI Transparency. Cryptogr. 5 (2) (2021)
Edward Eaton, Douglas Stebila, Roy Stracovsky
Post-Quantum Key-Blinding for Authentication in Anonymity Networks. IACR Cryptol. ePrint Arch. 2021 (2021)
Simeon Krastnikov, Florian Kerschbaum, Douglas Stebila
Efficient Oblivious Database Joins. CoRR (2020)
Moe Sabry, Reza Samavi, Douglas Stebila
ArchiveSafe: Mass-Leakage-Resistant Storage from Proof-of-Work. DPM/CBT@ESORICS (2020)
Nina Bindel, Douglas Stebila, Shannon Veitch
Improved attacks against key reuse in learning with errors key exchange. IACR Cryptol. ePrint Arch. 2020 (2020)
Simeon Krastnikov, Florian Kerschbaum, Douglas Stebila
Efficient Oblivious Database Joins. Proc. VLDB Endow. 13 (11) (2020)
Peter Schwabe, Douglas Stebila, Thom Wiggers
Post-Quantum TLS Without Handshake Signatures. CCS (2020)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. J. Cryptol. 33 (4) (2020)
Christian Paquin, Douglas Stebila, Goutam Tamvada
Benchmarking Post-quantum Cryptography in TLS. PQCrypto (2020)
Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson, Douglas Stebila
Towards Post-Quantum Security for Signal's X3DH Handshake. SAC (2020)
Peter Schwabe, Douglas Stebila, Thom Wiggers
Post-quantum TLS without handshake signatures. IACR Cryptol. ePrint Arch. 2020 (2020)
Moe Sabry, Reza Samavi, Douglas Stebila
ArchiveSafe: Mass-Leakage-Resistant Storage from Proof-of-Work. CoRR (2020)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. IACR Cryptol. ePrint Arch. 2020 (2020)
Eric Crockett, Christian Paquin, Douglas Stebila
Prototyping post-quantum and hybrid key exchange and authentication in TLS and SSH. IACR Cryptol. ePrint Arch. 2019 (2019)
Jörg Schwenk, Douglas Stebila
A Reduction-Based Proof for Authentication and Session Key Security in 3-Party Kerberos. IACR Cryptol. ePrint Arch. 2019 (2019)
Nina Bindel, Jacqueline Brendel, Marc Fischlin, Brian Goncalves, Douglas Stebila
Hybrid Key Encapsulation Mechanisms and Authenticated Key Exchange. PQCrypto (2019)
Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson, Douglas Stebila
Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms. IACR Cryptol. ePrint Arch. 2019 (2019)
Christian Paquin, Douglas Stebila, Goutam Tamvada
Benchmarking Post-Quantum Cryptography in TLS. IACR Cryptol. ePrint Arch. 2019 (2019)
Nina Bindel, Jacqueline Brendel, Marc Fischlin, Brian Goncalves, Douglas Stebila
Hybrid Key Encapsulation Mechanisms and Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2018 (2018)
Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
ASICS: authenticated key exchange security incorporating certification systems. Int. J. Inf. Sec. 16 (2) (2017)
Nina Bindel, Udyani Herath, Matthew McKague, Douglas Stebila
Transitioning to a Quantum-Resistant Public Key Infrastructure. PQCrypto (2017)
Mihir Bellare, Bertram Poettering, Douglas Stebila
Deterring Certificate Subversion: Efficient Double-Authentication-Preventing Signatures. Public Key Cryptography (2) (2017)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. EuroS&P (2017)
Nina Bindel, Udyani Herath, Matthew McKague, Douglas Stebila
Transitioning to a Quantum-Resistant Public Key Infrastructure. IACR Cryptol. ePrint Arch. 2017 (2017)
Bertram Poettering, Douglas Stebila
Double-authentication-preventing signatures. Int. J. Inf. Sec. 16 (1) (2017)
Praveen Gauravaram, Shoichi Hirose, Douglas Stebila
Security Analysis of a Design Variant of Randomized Hashing. ATIS (2017)
Douglas Stebila, Michele Mosca
Post-Quantum Key Exchange for the Internet and the Open Quantum Safe Project. IACR Cryptol. ePrint Arch. 2016 (2016)
Mihir Bellare, Bertram Poettering, Douglas Stebila
From Identification to Signatures, Tightly: A Framework and Generic Transforms. ASIACRYPT (2) (2016)
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
Authenticated Network Time Synchronization. USENIX Security Symposium (2016)
Colin Boyd, Britta Hale, Stig Frode Mjølsnes, Douglas Stebila
From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. CT-RSA (2016)
Joppe W. Bos, Craig Costello, Léo Ducas, Ilya Mironov, Michael Naehrig, Valeria Nikolaenko, Ananth Raghunathan, Douglas Stebila
Frodo: Take off the Ring! Practical, Quantum-Secure Key Exchange from LWE. CCS (2016)
Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila
Secure Logging Schemes and Certificate Transparency. ESORICS (2) (2016)
Douglas Stebila, Michele Mosca
Post-quantum Key Exchange for the Internet and the Open Quantum Safe Project. SAC (2016)
Mark Manulis, Douglas Stebila, Franziskus Kiefer, Nick Denham
Secure modular password authentication for the web using channel bindings. Int. J. Inf. Sec. 15 (6) (2016)
Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila
Secure Logging Schemes and Certificate Transparency. IACR Cryptol. ePrint Arch. 2016 (2016)
Joppe W. Bos, Craig Costello, Léo Ducas, Ilya Mironov, Michael Naehrig, Valeria Nikolaenko, Ananth Raghunathan, Douglas Stebila
Frodo: Take off the ring! Practical, Quantum-Secure Key Exchange from LWE. IACR Cryptol. ePrint Arch. 2016 (2016)
Christina Brzuska, Håkon Jacobsen, Douglas Stebila
Safely Exporting Keys from Secure Channels: On the security of EAP-TLS and TLS Key Exporters. IACR Cryptol. ePrint Arch. 2016 (2016)
Mihir Bellare, Bertram Poettering, Douglas Stebila
Deterring Certificate Subversion: Efficient Double-Authentication-Preventing Signatures. IACR Cryptol. ePrint Arch. 2016 (2016)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol. IACR Cryptol. ePrint Arch. 2016 (2016)
Farhad Moghimifar, Douglas Stebila
Predicting TLS performance from key exchange performance: short paper. ACSW (2016)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. IACR Cryptol. ePrint Arch. 2016 (2016)
Christina Brzuska, Håkon Jacobsen, Douglas Stebila
Safely Exporting Keys from Secure Channels - On the Security of EAP-TLS and TLS Key Exporters. EUROCRYPT (1) (2016)
Mihir Bellare, Douglas Stebila
Double-Authentication-Preventing Signatures from Trapdoor Identification. IACR Cryptol. ePrint Arch. 2015 (2015)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Continuous After-the-Fact Leakage-Resilient eCK-Secure Key Exchange. IMACC (2015)
Benjamin Dowling, Douglas Stebila
Modelling Ciphersuite and Version Negotiation in the TLS Protocol. ACISP (2015)
Douglas Stebila, Nick Sullivan
An Analysis of TLS Handshake Proxying. TrustCom/BigDataSE/ISPA (1) (2015)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. CCS (2015)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. IACR Cryptol. ePrint Arch. 2015 (2015)
Janaka Alawatugoda, Colin Boyd, Douglas Stebila
Continuous After-the-fact Leakage-Resilient eCK-secure Key Exchange. IACR Cryptol. ePrint Arch. 2015 (2015)
Benjamin Dowling, Douglas Stebila
Modelling ciphersuite and version negotiation in the TLS protocol. IACR Cryptol. ePrint Arch. 2015 (2015)
Joppe W. Bos, Craig Costello, Michael Naehrig, Douglas Stebila
Post-Quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem. IEEE Symposium on Security and Privacy (2015)
Colin Boyd, Britta Hale, Stig Frode Mjølsnes, Douglas Stebila
From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. IACR Cryptol. ePrint Arch. 2015 (2015)
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
Authenticated Network Time Synchronization. IACR Cryptol. ePrint Arch. 2015 (2015)
Gus Gutoski, Douglas Stebila
Hierarchical Deterministic Bitcoin Wallets that Tolerate Key Leakage. Financial Cryptography (2015)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Protecting Encrypted Cookies from Compression Side-Channel Attacks. Financial Cryptography (2015)
Mark Manulis, Douglas Stebila, Nick Denham
Secure Modular Password Authentication for the Web Using Channel Bindings. SSR (2014)
Janaka Alawatugoda, Colin Boyd, Douglas Stebila
Continuous After-the-fact Leakage-Resilient Key Exchange (full version). IACR Cryptol. ePrint Arch. 2014 (2014)
Bertram Poettering, Douglas Stebila
Double-Authentication-Preventing Signatures. ESORICS (1) (2014)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Modelling after-the-fact leakage for key exchange. AsiaCCS (2014)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Modelling After-the-fact Leakage for Key Exchange. IACR Cryptol. ePrint Arch. 2014 (2014)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Protecting Encrypted Cookies from Compression Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2014 (2014)
Gus Gutoski, Douglas Stebila
Hierarchical deterministic Bitcoin wallets that tolerate key leakage. IACR Cryptol. ePrint Arch. 2014 (2014)
Janaka Alawatugoda, Colin Boyd, Douglas Stebila
Continuous After-the-Fact Leakage-Resilient Key Exchange. ACISP (2014)
Kenneth Radke, Colin Boyd, Juanma González Nieto, Mark Manulis, Douglas Stebila
Formalising Human Recognition: a Fundamental Building Block for Security Proofs. AISC (2014)
Mark Manulis, Bertram Poettering, Douglas Stebila
Plaintext awareness in identity-based key encapsulation. Int. J. Inf. Sec. 13 (1) (2014)
Mark Manulis, Douglas Stebila, Nick Denham
Secure modular password authentication for the web using channel bindings. IACR Cryptol. ePrint Arch. 2014 (2014)

Douglas Stebila.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Douglas Stebila