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