An efficient mobile PACE implementation. - Alexander Wiesmaier; Moritz Horsch; Johannes Braun 001; Franziskus Kiefer; Detlef Hühnlein; Falko Strenzke; Johannes Buchmann 001 (AsiaCCS, 2011)

Pseudorandom Signatures. - Nils Fleischhacker; Felix Günther 001; Franziskus Kiefer; Mark Manulis; Bertram Poettering (IACR Cryptol. ePrint Arch., 2011)

Revocation and Non-repudiation: When the First Destroys the Latter. - Johannes Braun 001; Franziskus Kiefer; Andreas Hülsing (EuroPKI, 2013)

Oblivious PAKE and Efficient Handling of Password Trials. - Franziskus Kiefer; Mark Manulis (IACR Cryptol. ePrint Arch., 2013)

Distributed Smooth Projective Hashing and Its Application to Two-Server Password Authenticated Key Exchange. - Franziskus Kiefer; Mark Manulis (ACNS, 2014)

Zero-Knowledge Password Policy Checks and Verifier-Based PAKE. - Franziskus Kiefer; Mark Manulis (IACR Cryptol. ePrint Arch., 2014)

Distributed Smooth Projective Hashing and its Application to Two-Server PAKE. - Franziskus Kiefer; Mark Manulis (IACR Cryptol. ePrint Arch., 2014)

Oblivious PAKE: Efficient Handling of Password Trials. - Franziskus Kiefer; Mark Manulis (ISC, 2015)

Secure Set-based Policy Checking and Its Application to Password Registration. - Changyu Dong; Franziskus Kiefer (IACR Cryptol. ePrint Arch., 2015)

Blind Password Registration for Two-Server Password Authenticated Key Exchange and Secret Sharing Protocols. - Franziskus Kiefer; Mark Manulis (ISC, 2016)

Blind Password Registration for Verifier-based PAKE. - Franziskus Kiefer; Mark Manulis (IACR Cryptol. ePrint Arch., 2016)

Universally Composable Two-Server PAKE. - Franziskus Kiefer; Mark Manulis (IACR Cryptol. ePrint Arch., 2016)

Secure modular password authentication for the web using channel bindings. - Mark Manulis; Douglas Stebila; Franziskus Kiefer; Nick Denham (Int. J. Inf. Sec., 2016)

hacspec: Towards Verifiable Crypto Standards. - Karthikeyan Bhargavan; Franziskus Kiefer; Pierre-Yves Strub (SSR, 2018)

Welcome to Mozilla. - Franziskus Kiefer (Krypto-Tag, 2019)

Crypto (engineering) at Mozilla. - Franziskus Kiefer (Krypto-Tag, 2019)

Asynchronous Remote Key Generation: An Analysis of Yubico's Proposal for W3C WebAuthn. - Nick Frymann; Daniel Gardham; Franziskus Kiefer; Emil Lundberg; Mark Manulis; Dain Nilsson (IACR Cryptol. ePrint Arch., 2020)

Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging. - Karthikeyan Bhargavan; Charlie Jacomme; Franziskus Kiefer; Rolfe Schmidt (USENIX Security Symposium, 2024)

hax: Verifying Security-Critical Rust Software using Multiple Provers. - Karthikeyan Bhargavan; Maxime Buyse; Lucas Franceschino; Lasse Letager Hansen; Franziskus Kiefer; Jonas Schneider-Bensch; Bas Spitters (IACR Cryptol. ePrint Arch., 2025)

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. - Karthikeyan Bhargavan; Lasse Letager Hansen; Franziskus Kiefer; Jonas Schneider-Bensch; Bas Spitters (IACR Cryptol. ePrint Arch., 2025)

Public Key Linting for ML-KEM and ML-DSA. - Evangelos Karatsiolis; Franziskus Kiefer; Juliane Krämer; Mirjam Loiero; Christian Tobias; Maximiliane Weishäupl (IACR Cryptol. ePrint Arch., 2025)

KyberSlash: Exploiting secret-dependent division timings in Kyber implementations. - Daniel J. Bernstein; Karthikeyan Bhargavan; Shivam Bhasin; Anupam Chattopadhyay; Tee Kiah Chia; Matthias J. Kannwischer; Franziskus Kiefer; Thales B. Paiva; Prasanna Ravi; Goutam Tamvada (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)