EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks.
Pascal NasahlSalmin SultanaHans LiljestrandKaranvir GrewalMichael LeMayDavid M. DurhamDavid SchrammelStefan MangardPublished in: HOST (2023)
Keyphrases
- control flow
- java card
- data flow
- data confidentiality
- stream cipher
- integrity verification
- software testing
- data protection
- process model
- transition systems
- advanced encryption standard
- workflow management systems
- formal semantics
- data sets
- secret key
- security mechanisms
- encryption algorithms
- business process models
- intelligent agents
- training data
- object oriented
- software engineering
- source code
- fault model
- memory hierarchy
- modeling language
- model checking
- cryptographic protocols
- data integrity
- data access
- database
- sensitive data