Login / Signup
Control-flow integrity principles, implementations, and applications.
Martín Abadi
Mihai Budiu
Úlfar Erlingsson
Jay Ligatti
Published in:
ACM Trans. Inf. Syst. Secur. (2009)
Keyphrases
</>
control flow
data flow
process model
software testing
reactive systems
modeling language
business process models
database
workflow management systems
machine learning
test cases
business processes
relational databases
cooperative
formal semantics
database systems
data sets