header
zarinjo
CTO @informalinc. Progettazione dei protocolli, Modellazione delle minacce, Audit di sicurezza, Metodi formali, Consenso BFT.