IEEE Symposium on Security and Privacy Courses
IEEE via YouTube FuturesMEX - Secure, Distributed Futures Market Exchange
IEEE via YouTube How the BIOS Assures Its Handling of Inputs
IEEE via YouTube The Year of LangSec Bugs
IEEE via YouTube Writing Parsers Like It Is 2017
IEEE via YouTube Eliminating Input-Based Attacks by Deriving Automated Encoders and Decoders from Context-Free Grammars
IEEE via YouTube Taming the Length Field in Binary Data - Calc-Regular Languages
IEEE via YouTube From Trash to Treasure - Timing-Sensitive Garbage Collection
IEEE via YouTube Implementing and Proving the TLS 1.3 Record Layer
IEEE via YouTube SymCerts - Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation
IEEE via YouTube