Login / Signup
CONFIRM: Evaluating Compatibility and Relevance of Control-flow Integrity Protections for Modern Software.
Xiaoyang Xu
Masoud Ghaffarinia
Wenhao Wang
Kevin W. Hamlen
Zhiqiang Lin
Published in:
USENIX Security Symposium (2019)
Keyphrases
</>
control flow
data flow
software testing
process model
transition systems
modeling language
workflow management systems
intellectual property
high level
information retrieval
formal semantics
reactive systems
object oriented
software engineering
software systems
relational databases
machine learning
data sets