Franziskus Kiefer

According to our database, Franziskus Kiefer authored at least 22 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust.

Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

Public Key Linting for ML-KEM and ML-DSA.

Evangelos Karatsiolis, Franziskus Kiefer, Juliane Krämer, Mirjam Loiero, Christian Tobias, Maximiliane Weishäupl

Proceedings of the Applied Cryptography and Network Security Workshops, 2025

2024

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 Cryptol. ePrint Arch., 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

Proceedings of the Verified Software. Theories, Tools and Experiments, 2024

Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging.

Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt

Proceedings of the 33rd USENIX Security Symposium, 2024

2020

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

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Crypto (engineering) at Mozilla.

Franziskus Kiefer

Proceedings of the 30. Krypto-Tag, Berlin, Germany, March 28-29, 2019, 2019

Welcome to Mozilla.

Franziskus Kiefer

Proceedings of the 30. Krypto-Tag, Berlin, Germany, March 28-29, 2019, 2019

2018

hacspec: Towards Verifiable Crypto Standards.

Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub

Proceedings of the Security Standardisation Research - 4th International Conference, 2018

2016

Secure modular password authentication for the web using channel bindings.

Mark Manulis, Douglas Stebila, Franziskus Kiefer, Nick Denham

Int. J. Inf. Sec., 2016

Universally Composable Two-Server PAKE.

Franziskus Kiefer, Mark Manulis

Proceedings of the Information Security - 19th International Conference, 2016

Blind Password Registration for Two-Server Password Authenticated Key Exchange and Secret Sharing Protocols.

Franziskus Kiefer, Mark Manulis

Proceedings of the Information Security - 19th International Conference, 2016

Blind Password Registration for Verifier-based PAKE.

Franziskus Kiefer, Mark Manulis

Proceedings of the 3rd ACM International Workshop on ASIA Public-Key Cryptography, 2016

2015

Oblivious PAKE: Efficient Handling of Password Trials.

Franziskus Kiefer, Mark Manulis

Proceedings of the Information Security - 18th International Conference, 2015

Secure Set-Based Policy Checking and Its Application to Password Registration.

Changyu Dong, Franziskus Kiefer

Proceedings of the Cryptology and Network Security - 14th International Conference, 2015

2014

Distributed Smooth Projective Hashing and its Application to Two-Server PAKE.

Franziskus Kiefer, Mark Manulis

IACR Cryptol. ePrint Arch., 2014

Zero-Knowledge Password Policy Checks and Verifier-Based PAKE.

Franziskus Kiefer, Mark Manulis

Proceedings of the Computer Security - ESORICS 2014, 2014

Distributed Smooth Projective Hashing and Its Application to Two-Server Password Authenticated Key Exchange.

Franziskus Kiefer, Mark Manulis

Proceedings of the Applied Cryptography and Network Security, 2014

2013

Oblivious PAKE and Efficient Handling of Password Trials.

Franziskus Kiefer, Mark Manulis

IACR Cryptol. ePrint Arch., 2013

Revocation and Non-repudiation: When the First Destroys the Latter.

Johannes Braun, Franziskus Kiefer, Andreas Hülsing

Proceedings of the Public Key Infrastructures, Services and Applications, 2013

Pseudorandom signatures.

Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering

Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013

2011

An efficient mobile PACE implementation.

Alexander Wiesmaier, Moritz Horsch, Johannes Braun, Franziskus Kiefer, Detlef Hühnlein, Falko Strenzke, Johannes Buchmann

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011