SOFIA: Software and control flow integrity architecture.

Ruan de Clercq Johannes Götzfried David Übler Pieter Maene Ingrid Verbauwhede

Published in: Comput. Secur. (2017)

Keyphrases

control flow
data flow
reactive systems
software testing
software architecture
process model
transition systems
memory hierarchy
workflow management systems
test cases
modeling language
hardware design
software platform
databases
software systems
error rate
object oriented
cooperative
multi agent
information systems