Formal Verification Courses
0xdade via YouTube Formalizing Macintyre's Theorem in Isabelle-HOL
Fields Institute via YouTube Verifying Symbolic Computation in the HolPy Theorem Prover - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube Autoformalization with Large Language Models - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube Towards Assurance-Based Learning-Enabled Cyber-Physical Systems
Institute for Pure & Applied Mathematics (IPAM) via YouTube STORM - Refinement Types for Secure Web Applications
USENIX via YouTube Micro-Policies - Formally Verified, Tag-Based Security Monitors
IEEE via YouTube ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
IEEE via YouTube An I/O Separation Model for Formal Verification of Kernel Implementations
IEEE via YouTube A Secure and Formally Verified Linux KVM Hypervisor
IEEE via YouTube