| Zero-Knowledge Password Policy Checks and Verifier-Based PAKE F Kiefer, M Manulis ESORICS - 19th European Symposium on Research in Computer Security 8713 …, 2014 | 37 | 2014 |
| 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 | 37 | 2012 |
| 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 | 35 | 2020 |
| 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 | 27 | 2016 |
| 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 | 20 | 2014 |
| Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust D Merigoux, F Kiefer, K Bhargavan Inria, 2021 | 18 | 2021 |
| Blind password registration for verifier-based PAKE F Kiefer, M Manulis Proceedings of the 3rd ACM International Workshop on ASIA Public-Key …, 2016 | 11 | 2016 |
| 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 | 11 | 2011 |
| 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 | 10 | 2016 |
| Universally composable two-server PAKE F Kiefer, M Manulis International Conference on Information Security, 147-166, 2016 | 10 | 2016 |
| Advancements in password-based cryptography F Kiefer PQDT-UK & Ireland, 2016 | 7 | 2016 |
| hacspec: Towards verifiable crypto standards K Bhargavan, F Kiefer, PY Strub International Conference on Research in Security Standardisation, 1-20, 2018 | 6 | 2018 |
| 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 | 6 | 2013 |
| An Analysis of Signal’s PQXDH K Bhargavan, C Jacomme, F Kiefer, R Schmidt | 5 | 2023 |
| Oblivious pake: Efficient handling of password trials F Kiefer, M Manulis International Conference on Information Security, 191-208, 2015 | 5 | 2015 |
| 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 | 5 | 2013 |
| KyberSlash: Exploiting secret-dependent division timings in Kyber implementations DJ Bernstein, K Bhargavan, S Bhasin, A Chattopadhyay, TK Chia, ... Cryptology ePrint Archive, 2024 | 4 | 2024 |
| 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 | 4 | 2015 |
| 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 | 2 | 2024 |
| Practical Security in E-Mail Applications F Kiefer, A Wiesmaier, C Fritz Security and Management, 2012 | 1 | 2012 |
Mark ManulisProfessor, Head of Privacy and Applied Cryptography Lab @ Universität der Bundeswehr MünchenVerified email at unibw.de
