awesome-mba

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)
• M3 : une désobfuscation efficace des expressions Mixed Boolean Arithmetic (MBA) à l'aide de l'analyse dynamique

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