Categories

• academic
• methodology
• notes

academic

14 Apr 2017 计算机中的内存
14 Apr 2017 C语言中常见的内存错误
14 Apr 2017 系统的启动和引导
20 Sep 2014 Good Math/Bad Math的Lambda演算系列的中文翻译
16 Sep 2014 终章，Lambda演算建模——程序即证明！
16 Sep 2014 Lambda演算的类型
15 Sep 2014 从Lambda演算到组合子演算
15 Sep 2014 为什么是Y？
15 Sep 2014 Lambda演算中的布尔值和选择
15 Sep 2014 阿隆佐.丘奇的天才之作——lambda演算中的数字
15 Sep 2014 我的最爱Lambda演算——开篇

methodology

14 Sep 2014 学术论文与毕业论文写作

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)