EE-CFI: Externalized Control Flow Integrity for Embedded Devices.

Valentin Lefils Gilles Grimaud Julien Iguchi-Cartigny

Published in: IMIS (2017)

Keyphrases

embedded devices
control flow
data flow
embedded systems
mobile devices
software testing
process model
sliding window
data storage
limited memory
workflow management systems
formal semantics
low cost
security protocols
cooperative
software development
data sets
modeling language
flash memory