Combining Control-Flow Integrity and Static Analysis for Efficient and Validated Data Sandboxing

Presented at Confrence-on-computer-communications-security 2011 by

Gang Tan

Greg Morrisett

Bin Zeng