Login / Signup
Enforcing Unique Code Target Property for Control-Flow Integrity.
Hong Hu
Chenxiong Qian
Carter Yagemann
Simon Pak Ho Chung
William R. Harris
Taesoo Kim
Wenke Lee
Published in:
CCS (2018)
Keyphrases
</>
control flow
data flow
global consistency
process model
workflow management systems
software testing
transition systems
cooperative
source code
business process models
modeling language
workflow processes
decision making
integrity constraints
database systems
formal semantics
reactive systems
query language