Ce dépôt contient des liens pertinents sur l'obfuscation Mixed Boolean-Arithmetic (MBA). Les PR sont les bienvenues.

Notez que certaines ressources ici ne sont pas strictement liées à MBA, bien que toutes soient pertinentes d'une manière ou d'une autre.

Publications

• Dissimulation d'informations dans les logiciels avec des transformations Mixed Boolean-Arithmetic
• Obfuscation avec des expressions Mixed Boolean-Arithmetic : outils de reconstruction, d'analyse et de simplification
• Analyse et applications d'approches orthogonales pour simplifier les expressions Mixed Boolean-Arithmetic
• Désobfuscation de code par simplification d'expressions Mixed Boolean-Arithmetic assistée par synthèse de programmes
• Amélioration des performances des solveurs SMT sur les expressions mixtes bit-arithmétiques
• MBA-Blast : dévoilement et simplification de l'obfuscation Mixed Boolean-Arithmetic
• Une simplification en place des expressions Mixed Boolean-Arithmetic
• Obfuscation logicielle avec des expressions Mixed Boolean-Arithmetic non linéaires
• NeuReduce : réduction des expressions Mixed Boolean-Arithmetic par réseau de neurones récurrent
• Désobfuscation efficace des expressions Mixed Boolean-Arithmetic linéaires
• Simplification de l'obfuscation Mixed Boolean-Arithmetic par synthèse de programmes et réécriture de termes
• Simplification des expressions Mixed Boolean-Arithmetic générales : GAMBA
• Désobfuscation des expressions Mixed Boolean-Arithmetic semi-linéaires
• Obfuscation Mixed Boolean-Arithmetic (MBA) utilisant des polynômes de permutation sur les entiers de Lipschitz modulaires
• Sur la simplification d'expressions avec de l'arithmétique booléenne mixte
• Inversion de polynômes de permutation binaires et application aux techniques d'obfuscation
• Algorithme en temps quadratique pour l'inversion de polynômes de permutation binaires
• Réduction normalisée efficace et génération de polynômes binaires multivariés équivalents
• Contournement de l'obfuscation des logiciels malveillants par synthèse dynamique
• Désobfuscation locale en boîte noire basée sur la recherche : comprendre, améliorer et atténuer
• Syntia : synthèse de la sémantique du code obfusqué
• Arybo : manipulation, canonisation et identification d'expressions symboliques Mixed Boolean-Arithmetic
• Loki : durcissement de l'obfuscation de code contre les attaques automatisées
• QSynth – Une approche basée sur la synthèse de programmes pour la désobfuscation de code binaire
• Sur les fonctions polynomiales (mod m)
• Fonctions polynomiales (modm)
• Polynômes de permutation modulo 2^w
• Bases de Gröbner pour la minimisation de fonctions booléennes

Implémentations

Simplification :

• SiMBA : désobfuscation efficace des expressions Mixed Boolean-Arithmetic linéaires
• SiMBA++ : portage de SiMBA vers C/C++
• GAMBA : simplification des expressions Mixed Boolean-Arithmetic générales
• La synthèse Oracle rencontre la saturation d'égalité
• MSiMBA : désobfuscation des expressions Mixed Boolean-Arithmetic semi-linéaires
• Simplifier : simplificateur général efficace de mixed boolean-arithmetic (MBA)
• MBA-Blast : outil de simplification d'expressions MBA
• MBA-Solver : amélioration des performances des solveurs SMT sur les expressions mixtes bit-arithmétiques
• Arybo : manipulation, canonisation et identification d'expressions symboliques mixed boolean-arithmetic
• msynth : framework de désobfuscation de code pour simplifier les expressions Mixed Boolean-Arithmetic (MBA)
• QSynth : synthétiseur en boîte grise conçu pour la désobfuscation d'instructions assembleur
• gooMBA : plugin du décompilateur Hex-Rays pour simplifier les expressions Mixed Boolean-Arithmetic (MBA)
• Syntia : framework de désobfuscation basé sur la synthèse de programmes
• Désobfuscation Tigress - Documentation de plusieurs passes d'obfuscation de Tigress et tentative de simplification des expressions Mixed Boolean-Arithmetic (MBA)

Manipulation booléenne et minimisation :

• Bases de Gröbner pour la minimisation de fonctions booléennes
• Minimiseur logique heuristique Espresso
• Kitty : bibliothèque C++ de tables de vérité booléennes
• Combinaison de la minimisation DNF, de la minimisation ANF et de tables de vérité précalculées jusqu'à 4 variables
• DenseQMC : une implémentation bit-slice de l'algorithme de Quine-McCluskey
• boolean_expression : une petite crate Rust pour les expressions booléennes et les BDD

Construction :

• MBA-Obfuscator : outil de génération d'expressions Mixed Boolean-Arithmetic non linéaires
• Mba : Mixed Boolean-Arithmetic
• Pocket : obfuscateur d'expressions Mixed Boolean Arithmetic
• MBA-Generator : générateur d'expressions Mixed-Boolean-Arithmetic.
• Mutaben : générateur simple de mixed-boolean-arithmetic (MBA) écrit en python
• Mixed-boolean-transform : transformation x+y d'arithmétique booléenne mixte

Articles de blog

• Mixed Boolean-Arithmetic
• Améliorer la désobfuscation MBA à l'aide de la saturation d'égalité
• Quels outils théoriques sont nécessaires pour simplifier les expressions MBA ?
• Introduction à Pocket : obfuscateur pour les expressions Mixed Boolean Arithmetic
• Désobfuscation MBA pratique avec msynth

Éléments divers (seulement tangentiellement liés à MBA)

• ægraphs : E-graphs acycliques pour une optimisation efficace dans un compilateur de production
• Optir : optimiseur de compilateur pour flux de contrôle arbitraire basé sur la saturation d'égalité
• Aventures avec Z3 et appariement booléen rapide
• Appariement booléen rapide basé sur la classification NPN
• Algorithmes basés sur SAT pour la minimisation logique
• Le DSL de sélection d'instructions de Cranelift, ISLE : la réécriture de termes rendue pratique