Enforcing Control Flow Confidentiality with SGX.

Yu Zou Yongzhi Wang Xiaoyu Zhang

Published in: INFOCOM Workshops (2020)

Keyphrases

control flow
data flow
software testing
access control
transition systems
process model
information security
modeling language
business process models
workflow management systems
reactive systems
software engineering
cooperative
test set
software development
formal semantics
learning algorithm
data sets