Notes

30 Aug 2016 Coverage-based Greybox Fuzzing as Markov Chain
13 Aug 2016 How to Make ASLR Win the Clone Wars: Runtime Re-Randomization (2016)
30 Jun 2016 (State of) The Art of War: Offensive Techniques in Binary Analysis (2016)
19 Apr 2016 Dowsing for overflows: A guided fuzzer to find buffer boundary violations(2013)
21 Mar 2016 Driller: Augmenting Fuzzing Through Selective Symbolic Execution(2016)
07 Jan 2016 Automatic error elimination by horizontal code transfer across multiple applications (2015)
20 Nov 2015 Under-Constrained Symbolic Execution: Correctness Checking for Real Code (2015)
17 Nov 2015 Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (2015)
03 Apr 2015 Sound Input Filter Generation for Integer Overflow Errors (2014)
31 Mar 2015 Unleashing MAYHEM on Binary Code (2012)
22 Feb 2015 Enhancing symbolic execution with veritesting (2014)
21 Feb 2015 Understanding integer overflow in C/C++ (2012)
20 Sep 2014 内存战争 (2013)
20 Sep 2014 动态污点分析和前向符号执行 (2010)
16 Sep 2014 IntScope (2009)
05 Aug 2014 Practical Control Flow Integrity & Randomization for Binary Executables (2013)
21 Sep 2013 Control Flow Integrity for COTS Binaries (2013)
30 Aug 2013 内存错误的过去现在与将来 (2012)