Formal Verification Courses
ACM SIGPLAN via YouTube Automated Ambiguity Detection in Layout-Sensitive Grammars
ACM SIGPLAN via YouTube Compositional Security Definitions for Higher-Order Where Declassification
ACM SIGPLAN via YouTube Verifying Indistinguishability of Privacy-Preserving Protocols
ACM SIGPLAN via YouTube Formally Verifying Optimizations with Block Simulations
ACM SIGPLAN via YouTube Message Chains for Distributed System Verification
ACM SIGPLAN via YouTube Pipit: Reactive Systems in F★ for Safety-Critical Control Systems
ACM SIGPLAN via YouTube Leakage Models: A Leaky Abstraction in Cryptographic Software Verification
ACM SIGPLAN via YouTube Scalable Linear Invariant Generation with Farkas' Lemma
ACM SIGPLAN via YouTube Agni: Fast Formal Verification of the Verifier's Range Analysis
Linux Plumbers Conference via YouTube