【论文笔记】BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation

11-22

【论文笔记】Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels

09-25

【论文笔记】MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation

07-30

【论文笔记】SelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting

07-27

【论文笔记】DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis

07-12

【论文笔记】DynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection

05-26

【论文笔记】ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems

04-26

【论文笔记】ConDySTA: Context-Aware Dynamic Supplement to Static Taint Analysis

04-08

【论文笔记】NETPLIER: Probabilistic Network Protocol Reverse Engineering from Message Traces

03-29

【论文笔记】Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code

01-07