Combining control-flow integrity and static analysis for efficient and validated data sandboxing.

Bin Zeng, Gang Tan, Greg Morrisett

Browse the full CCS paper archive.