Hardware-assisted mechanisms to enforce control flow integrity: A comprehensive survey.
Sandeep KumarDiksha MoolchandaniSmruti R. SarangiPublished in: J. Syst. Archit. (2022)
Keyphrases
- control flow
- data flow
- memory hierarchy
- low cost
- process model
- software testing
- transition systems
- workflow management systems
- trusted computing
- business process models
- formal semantics
- hardware implementation
- computing systems
- workflow processes
- information systems
- reactive systems
- computing power
- computational power
- database management systems
- computer systems
- multi agent