2019
- 02月14日HEAPHOPPER: Bringing Bounded Model Checking to Heap Implementation Security
- 02月05日Check It Again: Detecting Lacking-Recheck Bugs in OS Kernels
- 02月05日Automated Detection Exploitation and Elimination of Double-Fetch Bugs Using Modern CPU Features
- 01月29日VUzzer: Application-aware Evolutionary Fuzzing
- 01月28日NAR-Miner Discovering Negative Association Rules from Code
- 01月27日Superset Disassembly: Statically Rewriting X86 Binaries Without Heuristics Disassembly
- 01月25日Angora: Efficient Fuzzing by Principled Search