Combining control-flow integrity and static analysis for efficient and validated data sandboxing (2011)

by B Zeng, G Tan, G Morrisett
Venue:ACM Conference on Computer and Communications Security