SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan.
Pascal NasahlStefan MangardPublished in: ACM Great Lakes Symposium on VLSI (2023)
Keyphrases
- control flow
- java card
- fault injection
- data flow
- fault diagnosis
- software testing
- process model
- fault detection
- sliding window
- countermeasures
- workflow management systems
- modeling language
- reactive systems
- memory hierarchy
- transition systems
- formal semantics
- learning algorithm
- software development
- information technology
- artificial intelligence