CFG Construction Soundness in Control-Flow Integrity.

Gang Tan Trent Jaeger

Published in: PLAS@CCS (2017)

Keyphrases

control flow
data flow
process model
software testing
machine learning
integrity constraints
workflow management systems
business process models
transition systems
data sets
e learning
expert systems
e government
formal semantics