Code obfuscation against abstraction refinement attacks

Roberto Bruni, Roberto Giacobazzi, Roberta Gori. Code obfuscation against abstraction refinement attacks. Formal Asp. Comput., 30(6):685-711, 2018. [doi]

Abstract

Abstract is missing.