Obfuscating program control flow with Intel SGX.

Yongzhi Wang Yulong Shen Ke Cheng Yibo Yang Cuicui Su Anter Faree

Published in: ICSE (Companion Volume) (2018)

Keyphrases

control flow
data flow
memory hierarchy
software testing
process model
workflow management systems
reactive systems
transition systems
databases
software engineering
modeling language
formal semantics
information technology
relational databases
operating system