header
zarinjo
Directeur technique @informalinc. Conception de protocoles, Modélisation des menaces, Audits de sécurité, Méthodes formelles, Consensus BFT.