YoVDO

High-Assurance Go Cryptography - Ensuring Safety in Cryptographic Libraries

Offered By: Gopher Academy via YouTube

Tags

Cryptography Courses Go Courses Software Testing Courses Code Generation Courses Formal Verification Courses Code Readability Courses API Design Courses Static Analysis Courses Fuzzing Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the critical aspects of ensuring safety and bug-free implementation in Go's cryptography standard library through this 47-minute conference talk from GopherCon 2023. Delve into various techniques including testing, fuzzing, static analysis, formal proofs, code generation, safe interfaces, complexity management, and readability enhancement. Gain insights into the meticulous processes employed to maintain the integrity of one of the most crucial components of Go programming.

Syllabus

GopherCon 2023: Filippo Valsorda - High-Assurance Go Cryptography


Taught by

Gopher Academy

Related Courses

Applied Cryptography
University of Virginia via Udacity Cryptography II
Stanford University via Coursera Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera Cryptography I
Stanford University via Coursera Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera