Survey of Control-Flow Integrity Techniques for Embedded and Real-Time Embedded Systems.

Tanmaya Mishra Thidapat Chantem Ryan M. Gerdes

Published in: CoRR (2021)

Keyphrases

control flow
real time embedded systems
data flow
process model
software testing
workflow management systems
transition systems
embedded systems
formal semantics
real world
artificial intelligence
integrity constraints
reactive systems