Our Security Audit Process Explained

How Informal Systems conducts blockchain security audits using threat modeling and formal verification.