C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Cryptographically Enforced Control Flow Integrity.
Ali José Mashtizadeh
Andrea Bittau
David Mazières
Dan Boneh
Published in:
CoRR (2014)
Keyphrases
</>
control flow
data flow
process model
software testing
reactive systems
formal semantics
integrity constraints
data sets
user interface
modeling language
workflow management systems
transition systems
business process models