BackFlow: Backward Edge Control Flow Enforcement for Low End ARM Microcontrollers.

Cyril Bresch Roman Lysecky David Hély

Published in: DATE (2020)

Keyphrases

control flow
low end
data flow
high end
software testing
process model
access control
low bit rate
modeling language
open source
computing systems
workflow management systems
formal semantics