Code Obfuscation Against Abstract Model Checking Attacks.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori

Browse the full VMCAI paper archive.