Control-Flow Integrity for Real-Time Operating Systems: Open Issues and Challenges.

Vahid Eftekhari Moghadam Marco Meloni Paolo Prinetto

Published in: EWDTS (2021)

Keyphrases

open issues
operating system
control flow
data flow
computer systems
future trends
high assurance
software testing
virtual machine
workflow management systems
distributed systems
memory management
windows xp
formal semantics
memory hierarchy
case study
process model
multi tasking
software engineering