Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
Seoksu Lee, Sangjun An, Eun-Sun Cho

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Malware Detection Techniques · Physical Unclonable Functions (PUFs) and Hardware Security · Formal Methods in Verification
