Language Abstractions for Hardware-based Control-Flow Integrity Monitoring.
William L. HarrisonGerard AllweinPublished in: ReConFig (2018)
Keyphrases
- control flow
- data flow
- modeling language
- real time
- memory hierarchy
- process model
- monitoring system
- language constructs
- software testing
- programming language
- workflow management systems
- natural language
- trusted computing
- formal semantics
- object oriented
- business process models
- high level
- computing systems
- transition systems
- workflow processes
- computing power
- hardware implementation
- embedded systems
- computer systems
- database systems
- case study