Este repositorio incluye enlaces relevantes para la ofuscación con aritmética booleana mixta (MBA). Se aceptan PRs.

Nótese que algunos recursos aquí no están estrictamente relacionados con MBA, aunque todos son relevantes de algún modo.

Artículos

• Ocultación de información en software mediante transformaciones de aritmética booleana mixta
• Ofuscación con expresiones de aritmética booleana mixta: herramientas de reconstrucción, análisis y simplificación
• Análisis y aplicaciones de enfoques ortogonales para simplificar expresiones de aritmética booleana mixta
• Desofuscación de código mediante simplificación asistida por síntesis de programas de expresiones de aritmética booleana mixta
• Mejora del rendimiento de los solucionadores SMT en expresiones de aritmética mixta bit a bit
• MBA-Blast: desvelando y simplificando la ofuscación de aritmética booleana mixta
• Una simplificación in situ de expresiones de aritmética booleana mixta
• Ofuscación de software con expresiones no lineales de aritmética booleana mixta
• NeuReduce: reducción de expresiones de aritmética booleana mixta mediante redes neuronales recurrentes
• Desofuscación eficiente de expresiones lineales de aritmética booleana mixta
• Simplificación de la ofuscación de aritmética booleana mixta mediante síntesis de programas y reescritura de términos
• Simplificación de expresiones generales de aritmética booleana mixta: GAMBA
• Desofuscación de expresiones semilineales de aritmética booleana mixta
• Ofuscación de aritmética booleana mixta (MBA) mediante polinomios de permutación sobre enteros de Lipschitz modulares
• Sobre la simplificación de expresiones con aritmética booleana mixta
• Inversión de polinomios de permutación binarios y aplicación a técnicas de ofuscación
• Algoritmo de tiempo cuadrático para la inversión de polinomios de permutación binarios
• Reducción normalizada eficiente y generación de polinomios binarios multivariantes equivalentes
• Evadiendo la ofuscación de malware con síntesis dinámica
• Desofuscación local de caja negra basada en búsqueda: comprender, mejorar y mitigar
• Syntia: sintetizando la semántica del código ofuscado
• Arybo: manipulación, canonicalización e identificación de expresiones simbólicas de aritmética booleana mixta
• Loki: endurecimiento de la ofuscación de código frente a ataques automatizados
• QSynth: un enfoque basado en síntesis de programas para la desofuscación de código binario
• Sobre funciones polinómicas (mod m)
• Funciones polinómicas (modm)
• Polinomios de permutación módulo 2^w
• Bases de Gröbner para la minimización de funciones booleanas

Implementaciones

Simplificación:

• SiMBA: desofuscación eficiente de expresiones lineales de aritmética booleana mixta
• SiMBA++: port de SiMBA a C/C++
• GAMBA: simplificación de expresiones generales de aritmética booleana mixta
• Síntesis de Oracle se encuentra con la saturación de igualdad
• MSiMBA: desofuscación de expresiones semilineales de aritmética booleana mixta
• Simplifier: simplificador eficiente de aritmética booleana mixta (MBA) general
• MBA-Blast: herramienta para la simplificación de expresiones MBA
• MBA-Solver: mejora del rendimiento de los solucionadores SMT en expresiones de aritmética mixta bit a bit
• Arybo: manipulación, canonicalización e identificación de expresiones simbólicas de aritmética booleana mixta
• msynth: framework de desofuscación de código para simplificar expresiones de aritmética booleana mixta (MBA)
• QSynth: sintetizador de caja gris orientado a la desofuscación de instrucciones de ensamblador
• gooMBA: plugin del descompilador Hex-Rays para simplificar expresiones de aritmética booleana mixta (MBA)
• Syntia: framework de desofuscación basado en síntesis de programas
• Tigress Deobfuscation: documentación de varios pases de ofuscación de Tigress y un intento de simplificar expresiones de aritmética booleana mixta (MBA)

Manipulación y minimización booleanas:

• Bases de Gröbner para la minimización de funciones booleanas
• Minimizador lógico heurístico Espresso
• Kitty: librería C++ de tablas de verdad booleanas
• Combinación de minimización DNF, minimización ANF y tablas de verdad precalculadas de hasta 4 variables
• DenseQMC: una implementación bit-slice del algoritmo de Quine-McCluskey
• boolean_expression: una pequeña crate de Rust para expresiones booleanas y BDD

Construcción:

• MBA-Obfuscator: herramienta para generar expresiones no lineales de aritmética booleana mixta
• Mba: aritmética booleana mixta
• Pocket: ofuscador de expresiones de aritmética booleana mixta
• MBA-Generator: generador de expresiones de aritmética booleana mixta.
• Mutaben: generador simple de aritmética booleana mixta (MBA) escrito en python
• Mixed-boolean-transform: transformación x+y de aritmética booleana mixta

Entradas de blog

• Aritmética booleana mixta
• Mejorando la desofuscación de MBA mediante saturación de igualdad
• ¿Qué herramientas teóricas se necesitan para simplificar expresiones MBA?
• Introducción a Pocket: ofuscador de expresiones de aritmética booleana mixta
• Desofuscación práctica de MBA con msynth

Miscelánea (solo tangencialmente relacionada con MBA)

• ægraphs: E-graphs acíclicos para optimización eficiente en un compilador de producción
• Optir: optimizador de compilador para flujo de control arbitrario basado en saturación de igualdad
• Aventuras con Z3 y emparejamiento booleano rápido
• Emparejamiento booleano rápido basado en clasificación NPN
• Algoritmos basados en SAT para minimización lógica
• El DSL selector de instrucciones de Cranelift, ISLE: reescritura de términos hecha práctica