Formal Verification Courses
CppNow via YouTube Security Proofs in Cryptography
TheIACR via YouTube Formal Verification of Masked Hardware Implementations in the Presence of Glitches
TheIACR via YouTube Formal Verification of Secure Software Systems
YouTube Formal Verification of Secure Software Systems
YouTube Proof-driven Development of Production-quality Cryptographic Software
Paul G. Allen School via YouTube High-Assurance Go Cryptography - Ensuring Safety in Cryptographic Libraries
Gopher Academy via YouTube Programming Languages in Agda - Propositions as Types
GOTO Conferences via YouTube Verification and Synthesis of Autonomous Systems
University of Colorado Boulder via Coursera System Introductions I - PVS
Hausdorff Center for Mathematics via YouTube