Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
About
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.