Formal Verification Courses
Docker via YouTube Ferrite: A Rust EDSL for Message-passing Protocol Verification
Rust via YouTube Prusti - Deductive Verification for Rust
Rust via YouTube RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story
Rust via YouTube Hacspec: Executable and Verifiable Specifications for High-Assurance Cryptography
Rust via YouTube RustProof: Static Analysis Using MIR - PDXRust October 2016
Rust via YouTube Proofing the Correctness of CURP Consensus Protocol Using TLA+
CNCF [Cloud Native Computing Foundation] via YouTube Formal Verification Made Easy - and Fast
Linux Plumbers Conference via YouTube Zinc - Minimal Light-weight Kernel Cryptography API
Linux Plumbers Conference via YouTube WireGuard - Next-Generation Secure Kernel Network Tunnel
Linux Plumbers Conference via YouTube