Avatar

Dr Franziskus Kiefer

Cryptography & Security Engineer and Researcher based in Berlin

  1. Home
  2. About
  3. Publications
  4. Search
  5. Github
    1. Dark Mode

Categories

Tags

Crypto Formal Verification NSS Cryspen HACL* Hacspec Specs Benchmarks Conference Hpke
Featured image of post Introducing HacSpec

Introducing HacSpec

Feb 08, 2018
3 minute read
Featured image of post CVE-2017-5462 - A PRNG issue

CVE-2017-5462 - A PRNG issue

Aug 31, 2017
6 minute read

New Website

Aug 29, 2017
1 minute read
Featured image of post Aes Gcm Speedup

Aes Gcm Speedup

Jun 27, 2017
5 minute read
Featured image of post On Constant Time Division

On Constant Time Division

I knew you shouldn't use division but I didn't know how bad it was.

Dec 28, 2016
2 minute read
1 … 3 4 5 6
© 2013 - 2025 Dr Franziskus Kiefer
Built with Hugo
Theme Stack designed by Jimmy