Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Benjamin Reichenwallner, Peter Meerwald · 2022
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.