Dieses Repo enthält Links zur Mixed-Boolean-Arithmetic (MBA)-Obfuskation. PRs sind willkommen.

Beachte, dass einige der hier aufgeführten Ressourcen nicht strikt mit MBA zusammenhängen, auch wenn alle in irgendeiner Weise relevant sind.

Publikationen

• Information Hiding in Software with Mixed Boolean-Arithmetic Transforms
• Obfuscation with Mixed Boolean-Arithmetic Expressions : reconstruction, analysis and simplification tools
• Analysis and applications of orthogonal approaches to simplify Mixed Boolean-Arithmetic expressions
• Code deobfuscation by program synthesis-aided simplification of Mixed Boolean-Arithmetic expressions
• Boosting SMT solver performance on mixed-bitwise-arithmetic expressions
• MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
• An In-Place Simplification on Mixed Boolean-Arithmetic Expressions
• Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions
• NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network
• Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
• Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting
• Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
• Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
• Mixed Boolean-Arithmetic (MBA) Obfuscation Using Permutation Polynomials on Modular Lipschitz Integers
• On simplifying expressions with mixed Boolean-arithmetic
• Binary Permutation Polynomial Inversion and Application to Obfuscation Techniques
• Quadratic time algorithm for inversion of binary permutation polynomials
• Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials
• Bypassing Malware Obfuscation with Dynamic Synthesis
• Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate
• Syntia: Synthesizing the Semantics of Obfuscated Code
• Arybo: Manipulation, Canonicalization and Identification of Mixed Boolean-Arithmetic Symbolic Expressions
• Loki: Hardening Code Obfuscation Against Automated Attacks
• QSynth – A Program Synthesis based approach for Binary Code Deobfuscation
• On polynomial functions (mod m)
• Polynomial functions (modm)
• Permutation Polynomials Modulo 2^w
• Gröbner Bases for Boolean Function Minimization

Implementierungen

Vereinfachung:

• SiMBA: Effiziente Deobfuskation linearer Mixed-Boolean-Arithmetic-Ausdrücke
• SiMBA++: Port von SiMBA auf C/C++
• GAMBA: Vereinfachung allgemeiner Mixed-Boolean-Arithmetic-Ausdrücke
• Oracle Syntehsis Meets Equality Saturation
• MSiMBA: Deobfuskation semilinearer Mixed-Boolean-Arithmetic-Ausdrücke
• Simplifier: Effizienter allgemeiner Mixed-Boolean-Arithmetic (MBA)-Vereinfacher
• MBA-Blast: Werkzeug zur Vereinfachung von MBA-Ausdrücken
• MBA-Solver: Steigerung der SMT-Solver-Leistung bei Mixed-Bitwise-Arithmetic-Ausdrücken
• Arybo: Manipulation, Kanonisierung und Identifikation symbolischer Mixed-Boolean-Arithmetic-Ausdrücke
• msynth: Deobfuskations-Framework zur Vereinfachung von Mixed-Boolean-Arithmetic (MBA)-Ausdrücken
• QSynth: Greybox-Synthesizer für die Deobfuskation von Assembler-Instruktionen
• gooMBA: Hex-Rays-Decompiler-Plugin zur Vereinfachung von Mixed-Boolean-Arithmetic (MBA)-Ausdrücken
• Syntia: Auf Programmsynthese basierendes Deobfuskations-Framework
• Tigress Deobfuscation - Dokumentation mehrerer Tigress-Obfuskations-Pässe und ein Versuch, Mixed-Boolean-Arithmetic (MBA)-Ausdrücke zu vereinfachen
• M3: Eine effiziente Deobfuskation von Mixed-Boolean-Arithmetic (MBA)-Ausdrücken mittels dynamischer Analyse

Boolesche Manipulation und Minimierung:

• Gröbner Bases for Boolean Function Minimization
• Espresso heuristic logic minimizer
• Kitty: C++-Bibliothek für boolesche Wahrheitstabellen
• Kombination von DNF-Minimierung, ANF-Minimierung und vorberechneten Wahrheitstabellen für bis zu 4 Variablen
• DenseQMC: Eine Bit-Slice-Implementierung des Quine-McCluskey-Algorithmus
• boolean_expression: eine kleine Rust-Crate für boolesche Ausdrücke und BDDs

Konstruktion:

• MBA-Obfuscator: Werkzeug zur Erzeugung nichtlinearer Mixed-Boolean-Arithmetic-Ausdrücke
• Mba: Mixed Boolean-Arithmetic
• Pocket: Obfuskator für Mixed-Boolean-Arithmetic-Ausdrücke
• MBA-Generator: Generator für Mixed-Boolean-Arithmetic-Ausdrücke.
• Mutaben: Einfacher Mixed-Boolean-Arithmetic (MBA)-Generator, geschrieben in Python
• Mixed-boolean-transform: Mixed-Boolean-Arithmetic-x+y-Transformation

Blogbeiträge

• Mixed Boolean-Arithmetic
• Improving MBA Deobfuscation using Equality Saturation
• What theoretical tools are needed to simplify MBA expressions?
• Introduction to Pocket: obfuscator for Mixed Boolean Arithmetic expressions
• Practical MBA Deobfuscation with msynth

Sonstiges (nur am Rande relevant für MBA)

• ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler
• Optir: Compiler-Optimierer für beliebigen Kontrollfluss basierend auf Equality Saturation
• Z3 adventures and fast Boolean matching
• Fast Boolean Matching Based on NPN Classification
• SAT-Based Algorithms for Logic Minimization
• Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical