Twisting Additivity in Program Obfuscation