Follow
Franziskus Kiefer
Franziskus Kiefer
Cryspen
Verified email at franziskuskiefer.de - Homepage
Title
Cited by
Cited by
Year
Zero-Knowledge Password Policy Checks and Verifier-Based PAKE
F Kiefer, M Manulis
ESORICS - 19th European Symposium on Research in Computer Security 8713 …, 2014
372014
Group signatures: Authentication with privacy
M Manulis, N Fleischhacker, F Günther, F Kiefer, B Poettrering
Bundesamt fur Sicherheit in der Informationstechnik, Bonn, Germany, Tech. Rep, 2012
372012
Asynchronous remote key generation: An analysis of yubico's proposal for W3C webauthn
N Frymann, D Gardham, F Kiefer, E Lundberg, M Manulis, D Nilsson
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
352020
Secure modular password authentication for the web using channel bindings
M Manulis, D Stebila, F Kiefer, N Denham
International Journal of Information Security 15, 597-620, 2016
272016
Distributed smooth projective hashing and its application to two-server password authenticated key exchange
F Kiefer, M Manulis
Applied Cryptography and Network Security: 12th International Conference …, 2014
202014
Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust
D Merigoux, F Kiefer, K Bhargavan
Inria, 2021
182021
Blind password registration for verifier-based PAKE
F Kiefer, M Manulis
Proceedings of the 3rd ACM International Workshop on ASIA Public-Key …, 2016
112016
An efficient mobile PACE implementation
A Wiesmaier, M Horsch, J Braun, F Kiefer, D Hhnlein, F Strenzke, ...
Proceedings of the 6th ACM Symposium on Information, Computer and …, 2011
112011
Blind password registration for two-server password authenticated key exchange and secret sharing protocols
F Kiefer, M Manulis
International Conference on Information Security, 95-114, 2016
102016
Universally composable two-server PAKE
F Kiefer, M Manulis
International Conference on Information Security, 147-166, 2016
102016
Advancements in password-based cryptography
F Kiefer
PQDT-UK & Ireland, 2016
72016
hacspec: Towards verifiable crypto standards
K Bhargavan, F Kiefer, PY Strub
International Conference on Research in Security Standardisation, 1-20, 2018
62018
Oblivious pake: Efficient handling of password trials
F Kiefer, M Manulis
International Conference on Information Security, 191-208, 2015
52015
Revocation and non-repudiation: when the first destroys the latter
J Braun, F Kiefer, A Hülsing
European Public Key Infrastructure Workshop, 31-46, 2013
52013
Pseudorandom signatures
N Fleischhacker, F Günther, F Kiefer, M Manulis, B Poettering
Proceedings of the 8th ACM SIGSAC symposium on Information, computer and …, 2013
52013
KyberSlash: Exploiting secret-dependent division timings in Kyber implementations
DJ Bernstein, K Bhargavan, S Bhasin, A Chattopadhyay, TK Chia, ...
Cryptology ePrint Archive, 2024
42024
Secure set-based policy checking and its application to password registration
C Dong, F Kiefer
Cryptology and Network Security: 14th International Conference, CANS 2015 …, 2015
42015
Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging
K Bhargavan, C Jacomme, F Kiefer, R Schmidt
33rd USENIX Security Symposium, 2024
22024
Practical Security in E-Mail Applications
F Kiefer, A Wiesmaier, C Fritz
Security and Management, 2012
12012
Towards a mobile eCard Client
J Buchmann, A Wiesmaier, D Hühnlein, J Braun, M Horsch, F Kiefer, ...
Tagungsband zum 13, 4, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–20