Fine-Grained Control-Flow Integrity Through Binary Hardening.

Mathias Payer Antonio Barresi Thomas R. Gross

Published in: DIMVA (2015)

Keyphrases

fine grained
control flow
data flow
coarse grained
access control
software testing
process model
workflow management systems
tightly coupled
data lineage
transition systems
business process models
formal semantics
modeling language
software development
artificial intelligence
databases
database