Search papers, labs, and topics across Lattice.
This paper introduces Scrambler, a novel Mixed Boolean Arithmetic (MBA) obfuscation tool leveraging e-graphs and Equality Expansion. Scrambler constructs complex and diverse expressions while guaranteeing equivalence through its design. Experimental results demonstrate that Scrambler outperforms existing MBA obfuscation tools in terms of expressiveness and complexity of generated expressions.
Scrambler leapfrogs existing MBA obfuscation tools by using e-graphs to automatically generate provably equivalent, yet far more complex and diverse expressions.
We propose Scrambler, and e-graph-based MBA obfuscation tool using Equality Expansion to efficiently generate complex and diverse expressions with equivalence guaranteed by construction. Experiments show Scrambler improves existing tools in expressiveness and complexity.