FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication.
Robert SchillingPascal NasahlStefan MangardPublished in: COSADE (2022)
Keyphrases
- control flow
- data flow
- java card
- software testing
- security mechanisms
- fault diagnosis
- semi fragile watermarking
- process model
- data structure
- detect malicious
- workflow management systems
- transition systems
- reactive systems
- digital watermarking
- artificial intelligence
- business process models
- modeling language
- software development
- real world
- formal semantics
- security requirements
- information systems