Mo-Xuan Wang

Code obfuscation against symbolic execution with mixed Boolean-arithmetic permutation

Code obfuscation is a fundamental technique for software protection and intellectual property defense, yet its effectiveness has been increasingly undermined by advances in symbolic execution and automated deobfuscation. Existing countermeasures based on path explosion, path divergence, or complex constraints suffer...