Dr Franziskus Kiefer

Cryptography & Security Engineer and Researcher based in Berlin

Home
About
Publications
Search
Github
Twitter
Dark Mode

The HACL* approach

Feb 14, 2018

7 min read

Introducing HacSpec

Feb 08, 2018

3 min read

CVE-2017-5462 - A PRNG issue

Aug 31, 2017

6 min read

New Website

Aug 29, 2017

1 min read

Aes Gcm Speedup

Jun 27, 2017

6 min read

1 2 3 4 5

© 2013 - 2022 Dr Franziskus Kiefer

Built with Hugo
Theme Stack designed by Jimmy

Search

Tags

crypto formal verification NSS hacl* specs benchmarks conference hacspec latex Mozilla