Sign in
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