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

SPARK 2014
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube