Formal Verification Courses
Alan Turing Institute via YouTube Slow But Steady - Achieving Real Security Within Two Decades
IEEE via YouTube Did You Mix Me? Formally Verifying Verifiable Mix Nets in Electronic Voting
IEEE via YouTube Formal Modelling and Proof in the CHERI Design and Implementation Process
IEEE via YouTube Formally Verified Cryptographic Web Applications in WebAssembly
IEEE via YouTube Plug & Pray Today - Understanding USB Insecurity in Versions 1 through C
IEEE via YouTube Applicable and Achievable Formal Verification
USENIX via YouTube Unity - Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization
USENIX via YouTube Verifying Hardware Security Modules with Information-Preserving Refinement
USENIX via YouTube GoJournal - A Verified, Concurrent, Crash-Safe Journaling System
USENIX via YouTube