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.
翻译:本文提出Scrambler,一种基于e-graph的混合布尔算术混淆工具,其通过等式展开技术高效生成结构复杂且多样化的表达式,并确保构造过程具有等价性保证。实验表明,Scrambler在表达式丰富度与复杂度方面均优于现有工具。