Speculative Execution Courses
CMU Database Group via YouTube Lifting Compiler Security Properties to Stronger Attackers: The Speculation Case
ACM SIGPLAN via YouTube Verified Software Security Down to Gates
Conference on Computer-Aided Verification via YouTube