Franziskus Kiefer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PERCOM | embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms. | Elsa Lpez Prez, William Takeshi Pereira, Thomas Watteyne, Christian Amsss, Franziskus Kiefer, Jonas Schneider-Bensch, Karthikeyan Bhargavan, Malisa Vucinic |
| 2025 | ACNS | Public Key Linting for ML-KEM and ML-DSA. | Evangelos Karatsiolis, Franziskus Kiefer, Juliane Krmer, Mirjam Loiero, Christian Tobias, Maximiliane Weishupl |
| 2025 | CCS | Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. | Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters |
| 2020 | CCS | 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 |
| 2016 | CCS | Blind Password Registration for Verifier-based PAKE. | Franziskus Kiefer, Mark Manulis |
| 2015 | CANS | Secure Set-Based Policy Checking and Its Application to Password Registration. | Changyu Dong, Franziskus Kiefer |
| 2014 | ACNS | Distributed Smooth Projective Hashing and Its Application to Two-Server Password Authenticated Key Exchange. | Franziskus Kiefer, Mark Manulis |
| 2014 | ESORICS | Zero-Knowledge Password Policy Checks and Verifier-Based PAKE. | Franziskus Kiefer, Mark Manulis |
| 2013 | CCS | Pseudorandom signatures. | Nils Fleischhacker, Felix Gnther, Franziskus Kiefer, Mark Manulis, Bertram Poettering |
| 2011 | CCS | An efficient mobile PACE implementation. | Alexander Wiesmaier, Moritz Horsch, Johannes Braun, Franziskus Kiefer, Detlef Hhnlein, Falko Strenzke, Johannes Buchmann |