- paper
- 0x00 BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis
- 0x01 MACKE: Compositional Analysis of Low-Level
- 0x02 Conc-iSE: Incremental Symbolic Execution of Concurrent Software
- 0x03 Symbolic Crosschecking of Floating-Point and SIMD Code
- 0x04 Software Crash Analysis for Automatic Exploit Generation on Binary Programs
- 0x05 PANGOLIN: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
- [0x06 Sys: a Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code](#0x06-sys--a-static-symbolic-tool-for-finding-good