Franziskus Kiefer

According to our database, Franziskus Kiefer authored at least 19 papers between 2011 and 2024.

Collaborative distances:

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

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 Paiva, Prasanna Ravi, Goutam Tamvada

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

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

IACR Cryptol. ePrint Arch., 2016

Blind Password Registration for Verifier-based PAKE.

Franziskus Kiefer, Mark Manulis

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

2015

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

Changyu Dong, Franziskus Kiefer

IACR Cryptol. ePrint Arch., 2015

Oblivious PAKE: Efficient Handling of Password Trials.

Franziskus Kiefer, Mark Manulis

Proceedings of the Information Security - 18th 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

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

2011

Pseudorandom Signatures.

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

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