Dr Franziskus Kiefer

Cryptography & Security Engineer and Researcher based in Berlin

Home
About
Publications
Search
Github
Twitter
Dark Mode

I'm leaving AISEC

May 04, 2020

3 min read

Shared-Secrets Service

Dec 23, 2019

8 min read

Mozilla SURF Summit Vienna 2019

Nov 12, 2019

2 min read

Wrapping arithmetic in Rust

Oct 21, 2019

1 min read

Update on hacspec

Nov 30, 2018

6 min read

1 2 3 … 6

© 2013 - 2022 Dr Franziskus Kiefer

Built with Hugo
Theme Stack designed by Jimmy

Search

Tags

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