В этом репозитории собраны ссылки, относящиеся к обфускации на основе смешанной булевой арифметики (MBA). PR приветствуются.

Обратите внимание, что некоторые ресурсы здесь не строго связаны с MBA, хотя все они так или иначе релевантны.

Статьи

• Сокрытие информации в программном обеспечении с помощью смешанных булево-арифметических преобразований
• Обфускация с помощью смешанных булево-арифметических выражений : инструменты восстановления, анализа и упрощения
• Анализ и применение ортогональных подходов к упрощению смешанных булево-арифметических выражений
• Деобфускация кода с помощью упрощения смешанных булево-арифметических выражений на основе программного синтеза
• Повышение производительности SMT-решателей на смешанных побитово-арифметических выражениях
• MBA-Blast: раскрытие и упрощение обфускации на основе смешанной булевой арифметики
• Упрощение смешанных булево-арифметических выражений на месте
• Обфускация программного обеспечения с помощью нелинейных смешанных булево-арифметических выражений
• NeuReduce: уменьшение смешанных булево-арифметических выражений с помощью рекуррентной нейронной сети
• Эффективная деобфускация линейных смешанных булево-арифметических выражений
• Упрощение обфускации на основе смешанной булевой арифметики с помощью программного синтеза и переписывания термов
• Упрощение общих смешанных булево-арифметических выражений: GAMBA
• Деобфускация полулинейных смешанных булево-арифметических выражений
• Обфускация на основе смешанной булевой арифметики (MBA) с использованием перестановочных полиномов над модулярными целыми числами Липшица
• Об упрощении выражений со смешанной булевой арифметикой
• Инверсия двоичных перестановочных полиномов и её применение к методам обфускации
• Алгоритм инверсии двоичных перестановочных полиномов за квадратичное время
• Эффективная нормализованная редукция и генерация эквивалентных многомерных двоичных полиномов
• Обход обфускации вредоносного ПО с помощью динамического синтеза
• Локальная деобфускация «чёрного ящика» на основе поиска: понимание, улучшение и смягчение
• Syntia: синтез семантики обфусцированного кода
• Arybo: манипулирование, канонизация и идентификация смешанных булево-арифметических символьных выражений
• Loki: усиление обфускации кода против автоматизированных атак
• QSynth – подход к деобфускации бинарного кода на основе программного синтеза
• О полиномиальных функциях (mod m)
• Полиномиальные функции (modm)
• Перестановочные полиномы по модулю 2^w
• Базисы Грёбнера для минимизации булевых функций

Реализации

Упрощение:

• SiMBA: эффективная деобфускация линейных смешанных булево-арифметических выражений
• SiMBA++: порт SiMBA на C/C++
• GAMBA: упрощение общих смешанных булево-арифметических выражений
• Встреча Oracle-синтеза и насыщения равенствами
• MSiMBA: деобфускация полулинейных смешанных булево-арифметических выражений
• Simplifier: эффективный упроститель общих смешанных булево-арифметических выражений (MBA)
• MBA-Blast: инструмент для упрощения MBA-выражений
• MBA-Solver: повышение производительности SMT-решателей на смешанных побитово-арифметических выражениях
• Arybo: манипулирование, канонизация и идентификация смешанных булево-арифметических символьных выражений
• msynth: фреймворк для деобфускации кода, упрощающий выражения смешанной булевой арифметики (MBA)
• QSynth: синтезатор «серого ящика», предназначенный для деобфускации ассемблерных инструкций
• gooMBA: плагин для декомпилятора Hex-Rays, упрощающий выражения смешанной булевой арифметики (MBA)
• Syntia: фреймворк деобфускации на основе программного синтеза
• Tigress Deobfuscation - документация нескольких проходов обфускации Tigress и попытка упростить выражения смешанной булевой арифметики (MBA)

Манипулирование булевыми функциями и минимизация:

• Базисы Грёбнера для минимизации булевых функций
• Эвристический минимизатор логики Espresso
• Kitty: библиотека булевых таблиц истинности на C++
• Объединение минимизации ДНФ, минимизации АНФ и предварительно вычисленных таблиц истинности до 4 переменных
• DenseQMC: бит-слайс реализация алгоритма Куайна — Мак-Класки
• boolean_expression: небольшой Rust-крейт для булевых выражений и BDD

Конструирование:

• MBA-Obfuscator: инструмент для генерации нелинейных смешанных булево-арифметических выражений
• Mba: смешанная булева арифметика
• Pocket: обфускатор выражений смешанной булевой арифметики
• MBA-Generator: генератор смешанных булево-арифметических выражений.
• Mutaben: простой генератор смешанной булевой арифметики (MBA), написанный на python
• Mixed-boolean-transform: преобразование x+y на основе смешанной булевой арифметики

Записи в блогах

• Смешанная булева арифметика
• Улучшение деобфускации MBA с помощью насыщения равенствами
• Какие теоретические инструменты нужны для упрощения MBA-выражений?
• Введение в Pocket: обфускатор выражений смешанной булевой арифметики
• Практическая деобфускация MBA с помощью msynth

Разное (лишь косвенно относящееся к MBA)

• ægraphs: ациклические E-графы для эффективной оптимизации в промышленном компиляторе
• Optir: оптимизатор компилятора для произвольного потока управления на основе насыщения равенствами
• Приключения с Z3 и быстрое булево сопоставление
• Быстрое булево сопоставление на основе NPN-классификации
• Алгоритмы минимизации логики на основе SAT
• DSL выбора инструкций Cranelift, ISLE: переписывание термов на практике