High-assurance Go cryptography

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.

Abstract

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.

Video

Stay connected

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.

Subscribe to our newsletter

We hate spam just as much as you do, which is why we promise to only send you relevant communications. We respect your privacy and will never share your information with third parties.
©2023 GoLab | The international conference on Go in Florence-Design & devCantiere Creativo-Made withDatoCMS