High-Assurance Go Cryptography - Filippo Valsorda

Описание к видео High-Assurance Go Cryptography - Filippo Valsorda

GopherCon 2023: High-Assurance Go Cryptography - Filippo Valsorda

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.

Комментарии

Информация по комментариям в разработке