Survey of Control-flow Integrity Techniques for Real-time Embedded Systems.
Tanmaya MishraThidapat ChantemRyan M. GerdesPublished in: ACM Trans. Embed. Comput. Syst. (2022)
Keyphrases
- control flow
- real time embedded systems
- data flow
- process model
- software testing
- workflow management systems
- modeling language
- case study
- reactive systems
- transition systems
- business process models
- integrity constraints
- formal semantics
- information technology
- database
- cooperative
- computing power
- memory hierarchy
- information systems