Filippo Valsorda

1 video available

Sort by:
Showing 1-1 of 1 videos
High-Assurance Go Cryptography
48 min

High-Assurance Go Cryptography

GopherCon - GopherCon 2023
Filippo Valsorda
go fuzzing formal-proofs cryptography testing static-analysis code-generation security