Control-flow integrity principles, implementations, and applications
Secure Execution via Program Shepherding