Formal Verification Courses
ACM SIGPLAN via YouTube PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams
ACM SIGPLAN via YouTube Memory Simulations, Security and Optimization in a Verified Compiler
ACM SIGPLAN via YouTube The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
ACM SIGPLAN via YouTube Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
ACM SIGPLAN via YouTube Massive Proofs for the Masses
ACM SIGPLAN via YouTube Symbolic Execution with Separating Decision Diagrams
ACM SIGPLAN via YouTube Can We Reason About the Security of Concurrent Systems Code?
ACM SIGPLAN via YouTube Towards Modular Specification and Verification of Concurrent Hypervisor-based Isolation
ACM SIGPLAN via YouTube Modularizing CPU Semantics for Virtualization
ACM SIGPLAN via YouTube