RAGuard: A Hardware Based Mechanism for Backward-Edge Control-Flow Integrity.
Jun ZhangRui HouJunfeng FanKe LiuLixin ZhangSally A. McKeePublished in: Conf. Computing Frontiers (2017)
Keyphrases
- control flow
- data flow
- memory hierarchy
- software testing
- low cost
- process model
- edge detection
- workflow management systems
- modeling language
- transition systems
- business process models
- trusted computing
- bi directional
- cooperative
- computing power
- computing systems
- reactive systems
- computer systems
- real world
- embedded systems
- artificial intelligence
- learning algorithm