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? We will talk about testing, fuzzing, static analysis, formal proofs, code generation, safe interfaces, complexity, and readability, with examples from across the standard library, x/crypto, and the age codebase.
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? We will talk about testing, fuzzing, static analysis, formal proofs, code generation, safe interfaces, complexity, and readability, with examples from across the standard library, x/crypto, and the age codebase.
You can subscribe to our newsletter to stay updated on the latest news and announcements. Follow us on social media to join our community and engage with other attendees, speakers, and staff. We're on Twitter, Mastodon, Youtube and Facebook. Don't forget to use our official hashtag #GoLab2023 to share your experience and connect with other attendees on social media.
