SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan.

Pascal Nasahl Stefan Mangard

Published in: CoRR (2023)

Keyphrases

control flow
java card
fault injection
data flow
software testing
process model
fault diagnosis
workflow management systems
fault detection
sliding window
transition systems
modeling language
reactive systems
fault model
countermeasures
business process models
formal semantics
data sets
cooperative