Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

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

Seoksu Lee, Sangjun An, Eun-Sun Cho

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.

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.
Paper Structure (9 sections, 1 figure, 1 table)

This paper contains 9 sections, 1 figure, 1 table.

Table of Contents

  1. Instruction
  2. Background and Related work
  3. MBA Obfuscation
  4. E-graph
  5. Existing MBA Obfuscation Tools
  6. Scrambler
  7. Experiment
  8. Conclusion
  9. Acknowledgment

Figures (1)

  • Figure 1: $x + y$ in e-graph representation (left) and after applying the rule $y*1=y$ (right). The * operation and $y$ are labeled with the same e-class, indicating that these two nodes have the same meaning.