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

Wrapping arithmetic in Rust

Oct 21, 2019
2 minute read
Featured image of post Update on hacspec

Update on hacspec

Nov 30, 2018
6 minute read

Mozilla Security Research Summit London 2018

Nov 19, 2018
2 minute read
Featured image of post Shipping (some) HACL*

Shipping (some) HACL*

Apr 12, 2018
6 minute read
Featured image of post The HACL* approach

The HACL* approach

Feb 14, 2018
7 minute read
1 2 3 4 … 6
© 2013 - 2024 Dr Franziskus Kiefer
Built with Hugo
Theme Stack designed by Jimmy