Combating Control Flow Linearization - Kirsch, Julian; Jonischkeit, Clemens; Kittel, Thomas; Zarras, Apostolis; Eckert, Claudia (ICT Systems Security and Privacy Protection, 2017)
Keywords: Basic Block; Control Flow; Control Flow Graph; Original Program; Symbolic Execution