SCFI: State Machine Control-Flow Hardening Against Fault Attacks.
Pascal NasahlMartin UnterguggenbergerRishub NagpalRobert SchillingDavid SchrammelStefan MangardPublished in: DATE (2023)
Keyphrases
- control flow
- state machine
- java card
- fault injection
- data flow
- state machines
- fault tolerant
- process model
- finite state machines
- software testing
- reactive systems
- transition systems
- fault diagnosis
- training data
- business process models
- modeling language
- data sets
- metadata
- information systems
- artificial intelligence
- load balancing
- business processes
- fault model
- cooperative
- case study
- databases