CCFI: Cryptographically Enforced Control Flow Integrity.

Ali José Mashtizadeh Andrea Bittau Dan Boneh David Mazières

Published in: CCS (2015)

Keyphrases

control flow
data flow
software testing
process model
transition systems
integrity constraints
reactive systems
formal semantics
database
machine learning
artificial intelligence
multi agent
test cases
modeling language