Convicting exploitable software vulnerabilities: An efficient input provenance based approach
Control-flow integrity principles, implementations, and applications