High-Assurance Go Cryptography - Ensuring Safety in Cryptographic Libraries

This presentation examines ways to make Go’s cryptography standard library safer and less prone to bugs. It covers testing and fuzzing, static analysis, formal proofs, code generation, safe interfaces, complexity, and readability.