HCIC: Hardware-Assisted Control-Flow Integrity Checking.
Jiliang ZhangBinhang QiZheng QinGang QuPublished in: IEEE Internet Things J. (2019)
Keyphrases
- control flow
- integrity checking
- integrity constraints
- data flow
- memory hierarchy
- deductive databases
- hard and soft constraints
- process model
- software testing
- constraint logic programming
- workflow management systems
- databases
- hardware implementation
- artificial intelligence
- business process models
- formal semantics
- training data
- machine learning