header
zarinjo
CTO @informalinc. Diseño de protocolos, modelado de amenazas, auditorías de seguridad, métodos formales, consenso BFT.