Software Security Courses
IEEE via YouTube Using Safety Properties to Generate Vulnerability Patches
IEEE via YouTube Using Safety Properties to Generate Vulnerability Patches
IEEE via YouTube Compiler-assisted Code Randomization
IEEE via YouTube The Correctness-Security Gap in Compiler Optimization
IEEE via YouTube Noise-SDR - Arbitrary Modulation of Electromagnetic Noise from Unprivileged Software and Its Impact on Emission Security
IEEE via YouTube SoK - Practical Foundations for Software Spectre Defenses
IEEE via YouTube Hardware-Software Contracts for Secure Speculation
IEEE via YouTube The Code That Never Ran - Modeling Attacks on Speculative Evaluation
IEEE via YouTube Proving Confidentiality and Its Preservation for Mixed-Sensitivity Concurrent Programs
University of Melbourne via YouTube