"Code Obfuscation Against Abstract Model Checking Attacks."

Roberto Bruni, Roberto Giacobazzi, Roberta Gori (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics