Franziskus Kiefer

33 papers A* 3A 2B 2C 3Journal 14Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. CCS Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters
2025	J	`jnl`	Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. IACR Cryptol. ePrint Arch. Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters
2025	J	`jnl`	KyberSlash: Exploiting secret-dependent division timings in Kyber implementations. IACR Trans. Cryptogr. Hardw. Embed. Syst. Daniel J. Bernstein, Karthikeyan Bhargavan, Shivam Bhasin, Anupam Chattopadhyay, Tee Kiah Chia, Matthias J. Kannwischer, Franziskus Kiefer, Thales B. Paiva, Prasanna Ravi, Goutam Tamvada
2025	—	`conf`	Public Key Linting for ML-KEM and ML-DSA. ACNS Workshops (3) Evangelos Karatsiolis, Franziskus Kiefer, Juliane Krämer, Mirjam Loiero, Christian Tobias, Maximiliane Weishäupl
2025	J	`jnl`	Public Key Linting for ML-KEM and ML-DSA. IACR Cryptol. ePrint Arch. Evangelos Karatsiolis, Franziskus Kiefer, Juliane Krämer, Mirjam Loiero, Christian Tobias, Maximiliane Weishäupl
2025	J	`jnl`	hax: Verifying Security-Critical Rust Software using Multiple Provers. IACR Cryptol. ePrint Arch. Karthikeyan Bhargavan, Maxime Buyse, Lucas Franceschino, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters
2024	A*	`conf`	Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging. USENIX Security Symposium Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt
2024	J	`jnl`	KyberSlash: Exploiting secret-dependent division timings in Kyber implementations. IACR Cryptol. ePrint Arch. Daniel J. Bernstein, Karthikeyan Bhargavan, Shivam Bhasin, Anupam Chattopadhyay, Tee Kiah Chia, Matthias J. Kannwischer, Franziskus Kiefer, Thales B. Paiva, Prasanna Ravi, Goutam Tamvada
2024	—	`conf`	hax: Verifying Security-Critical Rust Software Using Multiple Provers. VSTTE Karthikeyan Bhargavan, Maxime Buyse, Lucas Franceschino, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters
2020	A*	`conf`	Asynchronous Remote Key Generation: An Analysis of Yubico's Proposal for W3C WebAuthn. CCS Nick Frymann, Daniel Gardham, Franziskus Kiefer, Emil Lundberg, Mark Manulis, Dain Nilsson
2020	J	`jnl`	Asynchronous Remote Key Generation: An Analysis of Yubico's Proposal for W3C WebAuthn. IACR Cryptol. ePrint Arch. Nick Frymann, Daniel Gardham, Franziskus Kiefer, Emil Lundberg, Mark Manulis, Dain Nilsson
2019	—	`ed.`	30. Krypto-Tag, Berlin, Germany, March 28-29, 2019 Krypto-Tag Franziskus Kiefer, Daniel Loebenberger
2019	—	`conf`	Crypto (engineering) at Mozilla. Krypto-Tag Franziskus Kiefer
2019	—	`conf`	Welcome to Mozilla. Krypto-Tag Franziskus Kiefer
2018	—	`conf`	hacspec: Towards Verifiable Crypto Standards. SSR Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub
2016	C	`conf`	Blind Password Registration for Two-Server Password Authenticated Key Exchange and Secret Sharing Protocols. ISC Franziskus Kiefer, Mark Manulis
2016	—	`conf`	Blind Password Registration for Verifier-based PAKE. AsiaPKC@AsiaCCS Franziskus Kiefer, Mark Manulis
2016	J	`jnl`	Blind Password Registration for Verifier-based PAKE. IACR Cryptol. ePrint Arch. Franziskus Kiefer, Mark Manulis
2016	J	`jnl`	Secure modular password authentication for the web using channel bindings. Int. J. Inf. Sec. Mark Manulis, Douglas Stebila, Franziskus Kiefer, Nick Denham
2016	C	`conf`	Universally Composable Two-Server PAKE. ISC Franziskus Kiefer, Mark Manulis
2016	J	`jnl`	Universally Composable Two-Server PAKE. IACR Cryptol. ePrint Arch. Franziskus Kiefer, Mark Manulis
2015	C	`conf`	Oblivious PAKE: Efficient Handling of Password Trials. ISC Franziskus Kiefer, Mark Manulis
2015	B	`conf`	Secure Set-Based Policy Checking and Its Application to Password Registration. CANS Changyu Dong, Franziskus Kiefer
2015	J	`jnl`	Secure Set-based Policy Checking and Its Application to Password Registration. IACR Cryptol. ePrint Arch. Changyu Dong, Franziskus Kiefer
2014	B	`conf`	Distributed Smooth Projective Hashing and Its Application to Two-Server Password Authenticated Key Exchange. ACNS Franziskus Kiefer, Mark Manulis
2014	J	`jnl`	Distributed Smooth Projective Hashing and its Application to Two-Server PAKE. IACR Cryptol. ePrint Arch. Franziskus Kiefer, Mark Manulis
2014	—	`conf`	Zero-Knowledge Password Policy Checks and Verifier-Based PAKE. ESORICS (2) Franziskus Kiefer, Mark Manulis
2014	J	`jnl`	Zero-Knowledge Password Policy Checks and Verifier-Based PAKE. IACR Cryptol. ePrint Arch. Franziskus Kiefer, Mark Manulis
2013	J	`jnl`	Oblivious PAKE and Efficient Handling of Password Trials. IACR Cryptol. ePrint Arch. Franziskus Kiefer, Mark Manulis
2013	A	`conf`	Pseudorandom signatures. AsiaCCS Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering
2013	—	`conf`	Revocation and Non-repudiation: When the First Destroys the Latter. EuroPKI Johannes Braun, Franziskus Kiefer, Andreas Hülsing
2011	A	`conf`	An efficient mobile PACE implementation. AsiaCCS Alexander Wiesmaier, Moritz Horsch, Johannes Braun, Franziskus Kiefer, Detlef Hühnlein, Falko Strenzke, Johannes Buchmann
2011	J	`jnl`	Pseudorandom Signatures. IACR Cryptol. ePrint Arch. Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering