Formal Methods Courses
GOTO Conferences via YouTube The Verification of a Distributed System
Devoxx via YouTube WebSpec - Towards Machine-Checked Analysis of Browser Security Mechanisms
IEEE via YouTube OWL - Compositional Verification of Security Protocols via an Information-Flow Type System
IEEE via YouTube Mastering Concurrent Algorithms with TLA+
Linux Foundation via YouTube Bayesian Inference by Program Verification - Joost-Pieter Katoen, RWTH Aachen University
Alan Turing Institute via YouTube Challenges in Analysing Virtualisation Stacks - Dr Michael Tautschnig
Alan Turing Institute via YouTube Verus - Verified Rust for Low-Level Systems Code
Rust via YouTube Rustv: Semi-automatic Verification of Unsafe Rust Programs
Rust via YouTube Data Security - Theoretical and Real World Approaches to Compartmentalization
CNCF [Cloud Native Computing Foundation] via YouTube