1. Control-flow integrity
2. Automatic exploit generation
3. Piotr Bania. 2009. Evading network-level emulation. arXiv preprint arXiv:0906.1963 (2009). Piotr Bania. 2009. Evading network-level emulation. arXiv preprint arXiv:0906.1963 (2009).
4. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs;Cadar Cristian;OSDI,2008
5. Unleashing Mayhem on Binary Code