Y. V. Kosolapov

On Simplifying Expressions with Mixed Boolean-Arithmetic

2023 · Modeling and Analysis of Information Systems

Mixed Boolean-Arithmetic expressions (MBA-expressions) with $t$ integer $n$-bit variables are often used for program obfuscations. Obfuscation consists of replacing short expressions with longer equivalent expressions that seem to take the analyst more time to explore. …