Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions. (arXiv:2209.06335v1 [cs.CR])

Mixed Boolean-Arithmetic (MBA) expressions are frequently used for
obfuscation. As they combine arithmetic as well as Boolean operations, neither
arithmetic laws nor transformation rules for logical formulas can be applied to
suitably complex expressions, making MBAs hard to simplify and solve. In 2019,
Liu et al. demystified linear MBAs, leveraging a transformation between the set
$B=\{0,1\}$ of bit values and the set $B^n$ of words of length $n\in\mathbb{N}$
for linear MBAs, originally introduced by Zhou et al. in 2007. With …

deobfuscation