Este repositório inclui links relevantes para a ofuscação Mixed Boolean-Arithmetic (MBA). PRs são bem-vindos.

Observe que alguns recursos aqui não estão estritamente relacionados a MBA, embora todos sejam relevantes de alguma forma.

Artigos

• Ocultação de Informações em Software com Transformações Mixed Boolean-Arithmetic
• Ofuscação com Expressões Mixed Boolean-Arithmetic : ferramentas de reconstrução, análise e simplificação
• Análise e aplicações de abordagens ortogonais para simplificar expressões Mixed Boolean-Arithmetic
• Desofuscação de código por simplificação de expressões Mixed Boolean-Arithmetic auxiliada por síntese de programas
• Aumentando o desempenho de solvers SMT em expressões mistas de operações bit a bit e aritméticas
• MBA-Blast: Revelando e Simplificando a Ofuscação Mixed Boolean-Arithmetic
• Uma Simplificação In-Place de Expressões Mixed Boolean-Arithmetic
• Ofuscação de Software com Expressões Mixed Boolean-Arithmetic Não Lineares
• NeuReduce: Reduzindo Expressões Mixed Boolean-Arithmetic com Redes Neurais Recorrentes
• Desofuscação Eficiente de Expressões Mixed Boolean-Arithmetic Lineares
• Simplificando a Ofuscação Mixed Boolean-Arithmetic por Síntese de Programas e Reescrita de Termos
• Simplificação de Expressões Mixed Boolean-Arithmetic Gerais: GAMBA
• Desofuscação de Expressões Mixed Boolean-Arithmetic Semilineares
• Ofuscação Mixed Boolean-Arithmetic (MBA) Usando Polinômios de Permutação em Inteiros de Lipschitz Modulares
• Sobre a simplificação de expressões com mixed Boolean-arithmetic
• Inversão de Polinômios de Permutação Binários e Aplicação em Técnicas de Ofuscação
• Algoritmo de tempo quadrático para inversão de polinômios de permutação binários
• Redução Normalizada Eficiente e Geração de Polinômios Binários Multivariados Equivalentes
• Contornando a Ofuscação de Malware com Síntese Dinâmica
• Desofuscação Local Black-Box Baseada em Busca: Entender, Melhorar e Mitigar
• Syntia: Sintetizando a Semântica de Código Ofuscado
• Arybo: Manipulação, Canonicalização e Identificação de Expressões Simbólicas Mixed Boolean-Arithmetic
• Loki: Reforçando a Ofuscação de Código Contra Ataques Automatizados
• QSynth – Uma abordagem baseada em Síntese de Programas para Desofuscação de Código Binário
• Sobre funções polinomiais (mod m)
• Funções polinomiais (modm)
• Polinômios de Permutação Módulo 2^w
• Bases de Gröbner para Minimização de Funções Booleanas

Implementações

Simplificação:

• SiMBA: Desofuscação Eficiente de Expressões Mixed Boolean-Arithmetic Lineares
• SiMBA++: Porte de SiMBA para C/C++
• GAMBA: Simplificação de Expressões Mixed Boolean-Arithmetic Gerais
• Síntese por Oráculo Encontra Saturação de Igualdade
• MSiMBA: Desofuscação de Expressões Mixed Boolean-Arithmetic Semilineares
• Simplifier: Simplificador geral eficiente de mixed boolean-arithmetic (MBA)
• MBA-Blast: Ferramenta para simplificação de expressões MBA
• MBA-Solver: Melhorando o desempenho de solvers SMT em expressões mistas de operações bit a bit e aritméticas
• Arybo: Manipulação, canonicalização e identificação de expressões simbólicas mixed boolean-arithmetic
• msynth: Framework de desofuscação de código para simplificar expressões Mixed Boolean-Arithmetic (MBA)
• QSynth: Sintetizador Greybox voltado para desofuscação de instruções de assembly
• gooMBA: Plugin do Hex-Rays Decompiler para simplificar expressões Mixed Boolean-Arithmetic (MBA)
• Syntia: Framework de desofuscação baseado em síntese de programas
• Desofuscação do Tigress - Documentação de várias passes de ofuscação do Tigress e uma tentativa de simplificar expressões Mixed Boolean-Arithmetic (MBA)

Manipulação booleana e minimização:

• Bases de Gröbner para Minimização de Funções Booleanas
• Minimizador heurístico de lógica Espresso
• Kitty: Biblioteca C++ de tabelas-verdade booleanas
• Combinando minimização de DNF, minimização de ANF e tabelas-verdade pré-computadas de até 4 variáveis
• DenseQMC: Uma implementação bit-slice do algoritmo de Quine-McCluskey
• boolean_expression: uma pequena crate Rust para expressões booleanas e BDDs

Construção:

• MBA-Obfuscator: Ferramenta para gerar Expressões Mixed Boolean-Arithmetic Não Lineares
• Mba: Mixed Boolean-Arithmetic
• Pocket: Ofuscador de Expressões Mixed Boolean Arithmetic
• MBA-Generator: Gerador de expressões Mixed-Boolean-Arithmetic.
• Mutaben: Gerador simples de mixed-boolean-arithmetic (MBA) escrito em python
• Mixed-boolean-transform: Transformação x+y de mixed boolean arithmetic

Postagens de Blog

• Mixed Boolean-Arithmetic
• Melhorando a Desofuscação de MBA usando Saturação de Igualdade
• Quais ferramentas teóricas são necessárias para simplificar expressões MBA?
• Introdução ao Pocket: ofuscador para expressões Mixed Boolean Arithmetic
• Desofuscação Prática de MBA com msynth

Itens diversos (apenas tangencialmente relevantes para MBA)

• ægraphs: E-graphs Acíclicos para Otimização Eficiente em um Compilador de Produção
• Optir: Otimizador de compilador para fluxo de controle arbitrário baseado em saturação de igualdade
• Aventuras com Z3 e correspondência booleana rápida
• Correspondência Booleana Rápida Baseada em Classificação NPN
• Algoritmos Baseados em SAT para Minimização de Lógica
• O DSL de Seleção de Instruções do Cranelift, ISLE: Reescrita de Termos na Prática