High-Assurance Go Cryptography

Explore the critical aspects of ensuring safety and bug-free implementation in Go's cryptography standard library during this 56-minute conference talk from GoLab. Delve into various techniques including testing, fuzzing, static analysis, formal proofs, code generation, safe interfaces, complexity management, and readability. Examine real-world examples from the standard library, x/crypto, and the age codebase to understand how high-assurance cryptography is achieved in Go. Gain insights into the meticulous processes and methodologies employed to safeguard one of the most crucial components of the Go ecosystem.

High-assurance Go cryptography - Filippo Valsorda