IEEE Symposium on Security and Privacy Courses
IEEE via YouTube Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
IEEE via YouTube Spook.js - Attacking Chrome Strict Site Isolation via Speculative Execution
IEEE via YouTube ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
IEEE via YouTube PROTRR - Principled yet Optimal In-DRAM Target Row Refresh
IEEE via YouTube SoK - Practical Foundations for Software Spectre Defenses
IEEE via YouTube SMILE - Secure Memory Introspection for Live Enclave
IEEE via YouTube Jigsaw - Efficient and Scalable Path Constraints Fuzzing
IEEE via YouTube The Remote on the Local - Exacerbating Web Attacks Via Service Workers Caches
IEEE via YouTube Zeroconf Protocols and Their Numerous Man in the Middle Attacks
IEEE via YouTube