DeepCheck: A Non-intrusive Control-flow Integrity Checking based on Deep Learning.
Jiliang ZhangWuqiao ChenYuqi NiuPublished in: CoRR (2019)
Keyphrases
- control flow
- deep learning
- integrity checking
- integrity constraints
- data flow
- deductive databases
- hard and soft constraints
- unsupervised feature learning
- unsupervised learning
- machine learning
- constraint logic programming
- software testing
- process model
- weakly supervised
- modeling language
- workflow management systems
- mental models
- expert systems
- formal semantics
- constraint programming
- dimensionality reduction
- web services