English

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

Cryptography and Security 2026-03-09 v2
Authors: Seoksu Lee , Sangjun An , Eun-Sun Cho
View on arXiv ↗ PDF ↗

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.

Keywords

computer algebra compiler optimization

Cite

@article{arxiv.2603.03624,
  title  = {Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion},
  author = {Seoksu Lee and Sangjun An and Eun-Sun Cho},
  journal= {arXiv preprint arXiv:2603.03624},
  year   = {2026}
}

Comments

4 pages, 1 figure, 1 table

Related papers

View all related →
Cryptography and Security · Computer Science
Simplifying MBA Expression Using E-Graphs
Seoksu Lee, Hyeongchang Jeon, Eun-Sun Cho
2024-04-09
Cryptography and Security · Computer Science
Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
Colton Skees
2024-06-24
Cryptography and Security · Computer Science
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Benjamin Reichenwallner, Peter Meerwald-Stadler
2022-11-04
Cryptography and Security · Computer Science
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
Benjamin Reichenwallner, Peter Meerwald-Stadler
2023-07-26
Cryptography and Security · Computer Science
gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures
Youjeong Noh, Joon-Young Paik, Jingun Kwon, Eun-Sun Cho
2025-07-01
Cryptography and Security · Computer Science
SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis
Seong-Kyun Mok, Seoyeon Kang, Jeongwoo Kim, Eun-Sun Cho +1
2022-08-16
Human-Computer Interaction · Computer Science
Interactive tools for making temporally variable, multiple-attributes, and multiple-instances morphing accessible: Flexible manipulation of divergent speech instances for explorational research and education
Hideki Kawahara, Masanori Morise
2024-04-23
Social and Information Networks · Computer Science
GraphCombEx: A Software Tool for Exploration of Combinatorial Optimisation Properties of Large Graphs
David Chalupa, Ken A Hawick
2018-05-15
Artificial Intelligence · Computer Science
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
Alexander Steen
2022-03-24
Audio and Speech Processing · Electrical Eng. & Systems
Explaining deep learning models for spoofing and deepfake detection with SHapley Additive exPlanations
Wanying Ge, Jose Patino, Massimiliano Todisco, Nicholas Evans
2024-04-29
Computation and Language · Computer Science
Vocab-Expander: A System for Creating Domain-Specific Vocabularies Based on Word Embeddings
Michael Färber, Nicholas Popovic
2023-08-08
Genomics · Quantitative Biology
SAMBLASTER: fast duplicate marking and structural variant read extraction
Gregory G. Faust, Ira M. Hall
2014-09-09
Programming Languages · Computer Science
E-Graphs as a Persistent Compiler Abstraction
Jules Merckx, Alexandre Lopoukhine, Samuel Coward, Jianyi Cheng +2
2026-02-19
Programming Languages · Computer Science
GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
Gabriel Bathie, Baptiste Mouillon, Nathanaël Fijalkow
2026-05-12
Human-Computer Interaction · Computer Science
Emblaze: Illuminating Machine Learning Representations through Interactive Comparison of Embedding Spaces
Venkatesh Sivaraman, Yiwei Wu, Adam Perer
2022-02-18
Machine Learning · Computer Science
SEMULATOR: Emulating the Dynamics of Crossbar Array-based Analog Neural System with Regression Neural Networks
Chaeun Lee, Seyoung Kim
2021-01-21
Digital Libraries · Computer Science
A hybrid approach for semantic enrichment of MathML mathematical expressions
Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
2013-06-03
Machine Learning · Computer Science
Heterogeneous Graph Sparsification for Efficient Representation Learning
Chandan Chunduru, Chun Jiang Zhu, Blake Gains, Jinbo Bi
2022-11-15
Robotics · Computer Science
Scene Graph for Embodied Exploration in Cluttered Scenario
Yuhong Deng, Qie Sima, Di Guo, Huaping Liu +2
2023-10-17
Computation and Language · Computer Science
Cross-lingual AMR Aligner: Paying Attention to Cross-Attention
Abelardo Carlos Martínez Lorenzo, Pere-Lluís Huguet Cabot, Roberto Navigli
2023-06-21
Logic in Computer Science · Computer Science
Crumbling Abstract Machines
Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen
2019-07-16
High Energy Physics - Theory · Physics
SymBuild: a package for the computation of integrable symbols in scattering amplitudes
Vladimir Mitev, Yang Zhang
2018-11-01
Combinatorics · Mathematics
Evolving Graph Representation and Visualization
Anurat Chapanond, Mukkai S. Krishnamoorthy, G. M. Prabhu, J. Punin
2010-06-24
Hardware Architecture · Computer Science
Multiplier Optimization via E-Graph Rewriting
Andy Wanna, Samuel Coward, Theo Drane, George A. Constantinides +1
2023-12-12
cmp-lg · Computer Science
Some Novel Applications of Explanation-Based Learning to Parsing Lexicalized Tree-Adjoining Grammars
B. Srinivas, Aravind Joshi
2008-02-03
R2 v1 2026-07-01T11:02:17.885Z