CFHider: Protecting Control Flow Confidentiality With Intel SGX.
Yongzhi WangYu ZouYulong ShenYao LiuPublished in: IEEE Trans. Computers (2022)
Keyphrases
- control flow
- access control
- data flow
- memory hierarchy
- disclosure control
- software testing
- process model
- reactive systems
- workflow management systems
- transition systems
- computer architecture
- information security
- cell suppression
- data protection
- business process models
- formal semantics
- relational databases
- modeling language
- software development