#software testing
Sep 2026
Code obfuscation against symbolic execution with mixed Boolean-arithmetic permutation
Results confirm that permutation-based MBA obfuscation offers a practical, composite, and resilient defense against symbolic execution, balancing strong protection with lightweight performance overhead.
Mo-Xuan Wang, Hai-Yan Hu, Hao-Hang Qin et al.
· Journal of computing and sec... · 0 citations