Opaque Control-Flow Integrity.

Vishwath Mohan Per Larsen Stefan Brunthaler Kevin W. Hamlen Michael Franz

Published in: NDSS (2015)

Keyphrases

control flow
data flow
process model
software testing
integrity constraints
modeling language
transition systems
business process models
artificial intelligence
expert systems
workflow management systems
reactive systems
training data
data structure
data storage
memory hierarchy