High-Assurance Go Cryptography

The cryptography standard library is arguably some of the most critical code written in Go. How do we ensure it’s safe and bug-free? In this presentation, we will talk about testing, fuzzing, static analysis, formal proofs, code generation, safe interfaces, complexity, and readability.