Towards Transparent Control-Flow Integrity in Safety-Critical Systems.

Don Kuzhiyelil Philipp Zieris Marine Kadar Sergey Tverdyshev Gerhard Fohler

Published in: ISC (2020)

Keyphrases

safety critical
control flow
formal methods
safety analysis
fault tolerant
embedded systems
management system
data flow
agent architecture
database
distributed systems
process model
cooperative
multi agent systems
xml documents
adaptive systems