Control Flow Integrity for COTS Binaries.

Mingwei Zhang R. Sekar

Published in: USENIX Security Symposium (2013)

Keyphrases

control flow
data flow
third party
process model
software testing
business process models
transition systems
software components
formal semantics
reactive systems
integrity constraints
artificial intelligence
modeling language
software engineering
training data
database systems
case study