Franziskus Kiefer

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 13

Top Topics

Group Communication

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt
Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging. USENIX Security Symposium (2024)
Daniel J. Bernstein, Karthikeyan Bhargavan, Shivam Bhasin, Anupam Chattopadhyay, Tee Kiah Chia, Matthias J. Kannwischer, Franziskus Kiefer, Thales Paiva, Prasanna Ravi, Goutam Tamvada
KyberSlash: Exploiting secret-dependent division timings in Kyber implementations. IACR Cryptol. ePrint Arch. 2024 (2024)
Nick Frymann, Daniel Gardham, Franziskus Kiefer, Emil Lundberg, Mark Manulis, Dain Nilsson
Asynchronous Remote Key Generation: An Analysis of Yubico's Proposal for W3C WebAuthn. IACR Cryptol. ePrint Arch. 2020 (2020)
Nick Frymann, Daniel Gardham, Franziskus Kiefer, Emil Lundberg, Mark Manulis, Dain Nilsson
Asynchronous Remote Key Generation: An Analysis of Yubico's Proposal for W3C WebAuthn. CCS (2020)
Franziskus Kiefer
Welcome to Mozilla. Krypto-Tag (2019)
Franziskus Kiefer
Crypto (engineering) at Mozilla. Krypto-Tag (2019)
Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub
hacspec: Towards Verifiable Crypto Standards. SSR (2018)
Franziskus Kiefer, Mark Manulis
Universally Composable Two-Server PAKE. ISC (2016)
Franziskus Kiefer, Mark Manulis
Blind Password Registration for Two-Server Password Authenticated Key Exchange and Secret Sharing Protocols. ISC (2016)
Franziskus Kiefer, Mark Manulis
Universally Composable Two-Server PAKE. IACR Cryptol. ePrint Arch. 2016 (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)
Franziskus Kiefer, Mark Manulis
Blind Password Registration for Verifier-based PAKE. AsiaPKC@AsiaCCS (2016)
Franziskus Kiefer, Mark Manulis
Blind Password Registration for Verifier-based PAKE. IACR Cryptol. ePrint Arch. 2016 (2016)
Franziskus Kiefer, Mark Manulis
Oblivious PAKE: Efficient Handling of Password Trials. ISC (2015)
Changyu Dong, Franziskus Kiefer
Secure Set-Based Policy Checking and Its Application to Password Registration. CANS (2015)
Changyu Dong, Franziskus Kiefer
Secure Set-based Policy Checking and Its Application to Password Registration. IACR Cryptol. ePrint Arch. 2015 (2015)
Franziskus Kiefer, Mark Manulis
Zero-Knowledge Password Policy Checks and Verifier-Based PAKE. IACR Cryptol. ePrint Arch. 2014 (2014)
Franziskus Kiefer, Mark Manulis
Distributed Smooth Projective Hashing and its Application to Two-Server PAKE. IACR Cryptol. ePrint Arch. 2014 (2014)
Franziskus Kiefer, Mark Manulis
Zero-Knowledge Password Policy Checks and Verifier-Based PAKE. ESORICS (2) (2014)
Franziskus Kiefer, Mark Manulis
Distributed Smooth Projective Hashing and Its Application to Two-Server Password Authenticated Key Exchange. ACNS (2014)
Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering
Pseudorandom signatures. AsiaCCS (2013)
Johannes Braun, Franziskus Kiefer, Andreas Hülsing
Revocation and Non-repudiation: When the First Destroys the Latter. EuroPKI (2013)
Franziskus Kiefer, Mark Manulis
Oblivious PAKE and Efficient Handling of Password Trials. IACR Cryptol. ePrint Arch. 2013 (2013)
Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering
Pseudorandom Signatures. IACR Cryptol. ePrint Arch. 2011 (2011)
Alexander Wiesmaier, Moritz Horsch, Johannes Braun, Franziskus Kiefer, Detlef Hühnlein, Falko Strenzke, Johannes Buchmann
An efficient mobile PACE implementation. AsiaCCS (2011)