Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion

TL;DR

Scrambler is an obfuscation tool that uses E-graphs and Equality Expansion to generate complex, equivalent expressions, enhancing the security and diversity of Boolean arithmetic obfuscation.

Contribution

It introduces a novel E-graph-based approach with Equality Expansion for more expressive and complex MBA obfuscation.

Findings

Outperforms existing tools in expressiveness

Generates more complex obfuscated expressions

Ensures equivalence by construction

Abstract

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.