Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
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.
Fields of Study & Subjects
Security and Verification in Computing
Cryptographic Implementations and Security
Physical Unclonable Functions (PUFs) and Hardware Security
Publication details
- Journal / source
- arXiv (Cornell University)
- Publication date
- 4 March 2026
- Language
- EN
- Document type
- Preprint