Tag Index

• ALSR 1
• ASPLOS 1
• CCS 1
• ICSE 2
• Marvkov链 1
• NDSS 3
• Oakland 5
• PLDI 1
• POPL 1
• RAID 1
• UsenixSec 3
• binary分析 9
• function programming 8
• lambda演算 8
• 代码变形 1
• 内存保护 1
• 内存系列 3
• 内存错误 4
• 动态执行 3
• 控制流完整性 3
• 整数溢出 3
• 模糊测试 4
• 污点分析 4
• 源代码分析 4
• 漏洞修复 2
• 漏洞检测 10
• 科技写作 1
• 程序修改 2
• 程序分析 15
• 程序插桩 1
• 符号执行 8
• 系列索引 1
• 综述 3
• 翻译 12
• 输入过滤 1
• 随机过程 1

ALSR

13 Aug 2016 How to Make ASLR Win the Clone Wars: Runtime Re-Randomization (2016)

ASPLOS

17 Nov 2015 Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (2015)

CCS

30 Aug 2016 Coverage-based Greybox Fuzzing as Markov Chain

ICSE

22 Feb 2015 Enhancing symbolic execution with veritesting (2014)
21 Feb 2015 Understanding integer overflow in C/C++ (2012)

Marvkov链

30 Aug 2016 Coverage-based Greybox Fuzzing as Markov Chain

NDSS

13 Aug 2016 How to Make ASLR Win the Clone Wars: Runtime Re-Randomization (2016)
21 Mar 2016 Driller: Augmenting Fuzzing Through Selective Symbolic Execution(2016)
16 Sep 2014 IntScope (2009)

Oakland

30 Jun 2016 (State of) The Art of War: Offensive Techniques in Binary Analysis (2016)
31 Mar 2015 Unleashing MAYHEM on Binary Code (2012)
20 Sep 2014 内存战争 (2013)
20 Sep 2014 动态污点分析和前向符号执行 (2010)
05 Aug 2014 Practical Control Flow Integrity & Randomization for Binary Executables (2013)

PLDI

07 Jan 2016 Automatic error elimination by horizontal code transfer across multiple applications (2015)

POPL

03 Apr 2015 Sound Input Filter Generation for Integer Overflow Errors (2014)

RAID

30 Aug 2013 内存错误的过去现在与将来 (2012)

UsenixSec

19 Apr 2016 Dowsing for overflows: A guided fuzzer to find buffer boundary violations(2013)
20 Nov 2015 Under-Constrained Symbolic Execution: Correctness Checking for Real Code (2015)
21 Sep 2013 Control Flow Integrity for COTS Binaries (2013)

binary分析

30 Jun 2016 (State of) The Art of War: Offensive Techniques in Binary Analysis (2016)
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)
17 Nov 2015 Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (2015)
31 Mar 2015 Unleashing MAYHEM on Binary Code (2012)
22 Feb 2015 Enhancing symbolic execution with veritesting (2014)
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)

function programming

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演算——开篇

lambda演算

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演算——开篇

代码变形

07 Jan 2016 Automatic error elimination by horizontal code transfer across multiple applications (2015)

内存保护

13 Aug 2016 How to Make ASLR Win the Clone Wars: Runtime Re-Randomization (2016)

内存系列

14 Apr 2017 计算机中的内存
14 Apr 2017 C语言中常见的内存错误
14 Apr 2017 系统的启动和引导

内存错误

13 Aug 2016 How to Make ASLR Win the Clone Wars: Runtime Re-Randomization (2016)
20 Sep 2014 内存战争 (2013)
05 Aug 2014 Practical Control Flow Integrity & Randomization for Binary Executables (2013)
30 Aug 2013 内存错误的过去现在与将来 (2012)

动态执行

07 Jan 2016 Automatic error elimination by horizontal code transfer across multiple applications (2015)
17 Nov 2015 Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (2015)
21 Feb 2015 Understanding integer overflow in C/C++ (2012)

控制流完整性

13 Aug 2016 How to Make ASLR Win the Clone Wars: Runtime Re-Randomization (2016)
05 Aug 2014 Practical Control Flow Integrity & Randomization for Binary Executables (2013)
21 Sep 2013 Control Flow Integrity for COTS Binaries (2013)

整数溢出

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)
21 Feb 2015 Understanding integer overflow in C/C++ (2012)

模糊测试

30 Aug 2016 Coverage-based Greybox Fuzzing as Markov Chain
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)
17 Nov 2015 Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (2015)
20 Sep 2014 动态污点分析和前向符号执行 (2010)
16 Sep 2014 IntScope (2009)

源代码分析

19 Apr 2016 Dowsing for overflows: A guided fuzzer to find buffer boundary violations(2013)
20 Nov 2015 Under-Constrained Symbolic Execution: Correctness Checking for Real Code (2015)
03 Apr 2015 Sound Input Filter Generation for Integer Overflow Errors (2014)
21 Feb 2015 Understanding integer overflow in C/C++ (2012)

漏洞修复

07 Jan 2016 Automatic error elimination by horizontal code transfer across multiple applications (2015)
03 Apr 2015 Sound Input Filter Generation for Integer Overflow Errors (2014)

漏洞检测

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)
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)
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)
05 Aug 2014 Practical Control Flow Integrity & Randomization for Binary Executables (2013)
21 Sep 2013 Control Flow Integrity for COTS Binaries (2013)

科技写作

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

程序修改

07 Jan 2016 Automatic error elimination by horizontal code transfer across multiple applications (2015)
21 Sep 2013 Control Flow Integrity for COTS Binaries (2013)

程序分析

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)
30 Aug 2013 内存错误的过去现在与将来 (2012)

程序插桩

21 Feb 2015 Understanding integer overflow in C/C++ (2012)

符号执行

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)
20 Nov 2015 Under-Constrained Symbolic Execution: Correctness Checking for Real Code (2015)
31 Mar 2015 Unleashing MAYHEM on Binary Code (2012)
22 Feb 2015 Enhancing symbolic execution with veritesting (2014)
20 Sep 2014 动态污点分析和前向符号执行 (2010)
16 Sep 2014 IntScope (2009)

系列索引

20 Sep 2014 Good Math/Bad Math的Lambda演算系列的中文翻译

综述

20 Sep 2014 内存战争 (2013)
20 Sep 2014 动态污点分析和前向符号执行 (2010)
30 Aug 2013 内存错误的过去现在与将来 (2012)

翻译

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演算——开篇
14 Sep 2014 学术论文与毕业论文写作

输入过滤

03 Apr 2015 Sound Input Filter Generation for Integer Overflow Errors (2014)

随机过程

30 Aug 2016 Coverage-based Greybox Fuzzing as Markov Chain