Mitigating Branch-Shadowing Attacks on Intel SGX using Control Flow Randomization.
Shohreh HosseinzadehHans LiljestrandVille LeppänenAndrew PaverdPublished in: CoRR (2018)
Keyphrases
- control flow
- java card
- data flow
- memory hierarchy
- process model
- countermeasures
- software testing
- business process models
- privacy preserving
- transition systems
- workflow management systems
- modeling language
- case study
- database
- metamodel
- formal semantics
- computer architecture
- object oriented
- reactive systems
- databases
- data sets