Abstract. In this short survey, we provide an overview of obfuscation and then shift our focus to outlining various non-trivial control-flow obfuscation techniques. Along the way, we highlight two transforms having provable security properties: the dispatcher model and opaque predicates. We comment on the strength and weaknesses of these transforms and outline difficulties associated in generating generalised classes of these.
Majumdar et al. REF conducted a short survey that summarizes the control-flow obfuscation techniques using opaque predicates and dynamic dispatcher.
A Survey of Control-Flow Obfuscations
ICISS
Computer Science