header
zarinjo
CTO @informalinc. Desenho de protocolos, Modelação de ameaças, Auditorias de segurança, Métodos formais, Consenso BFT.