Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage.
Yufei DuZhuojia ShenKomail DharseeJie ZhouRobert J. WallsJohn CriswellPublished in: USENIX Security Symposium (2022)
Keyphrases
- control flow
- real time embedded systems
- data flow
- process model
- software testing
- transition systems
- workflow management systems
- modeling language
- information security
- software systems
- first order logic
- real time
- black box
- object oriented
- user interface
- information technology
- cooperative
- formal semantics
- case study
- memory hierarchy
- decision making
- information systems