Dr Franziskus Kiefer franziskuskiefer.de

What is High Assurance Cryptography?

franziskuskiefer.de·211w

TL;DR - Hybrid Public Key Encryption

franziskuskiefer.de·220w

An Executable HPKE Specification

franziskuskiefer.de·220w

Cryspen ERC PoC Grant

franziskuskiefer.de·222w

(HACL*) AEAD Benchmarks

franziskuskiefer.de·235w

OpenMLS Performance

franziskuskiefer.de·261w

💲 Web Monetization 💲

franziskuskiefer.de·274w

I'm leaving AISEC

franziskuskiefer.de·315w

Shared-Secrets Service

franziskuskiefer.de·334w

Mozilla SURF Summit Vienna 2019

franziskuskiefer.de·340w

Wrapping arithmetic in Rust

franziskuskiefer.de·343w

Update on hacspec

franziskuskiefer.de·389w

Mozilla Security Research Summit London 2018

franziskuskiefer.de·391w

Shipping (some) HACL*

franziskuskiefer.de·422w

The HACL* approach

franziskuskiefer.de·431w

Introducing HacSpec

franziskuskiefer.de·431w

CVE-2017-5462 - A PRNG issue

franziskuskiefer.de·454w

New Website

franziskuskiefer.de·455w

Aes Gcm Speedup

franziskuskiefer.de·464w

On Constant Time Division

franziskuskiefer.de·490w

Log in to enable infinite scrolling