header
zarinjo
CTO @informalinc. Protokolldesign, Bedrohungsmodellierung, Sicherheitsaudits, Formale Methoden, BFT-Konsens.