HCIC: Hardware-assisted Control-flow Integrity Checking.
Jiliang ZhangBinhang QiGang QuPublished in: CoRR (2018)
Keyphrases
- control flow
- integrity checking
- integrity constraints
- data flow
- deductive databases
- memory hierarchy
- hard and soft constraints
- constraint logic programming
- software testing
- process model
- business process models
- computing power
- hardware implementation
- modeling language
- workflow management systems
- database
- test cases
- formal semantics
- error rate
- logic programming
- object oriented
- case study