このリポジトリには、Mixed Boolean-Arithmetic (MBA) 難読化に関連するリンクが含まれています。PR は歓迎します。

ここにあるリソースの中には、MBA に厳密に関連しているわけではないものもありますが、すべて何らかの形で関連しています。

論文

• Mixed Boolean-Arithmetic 変換を用いたソフトウェアにおける情報隠蔽
• Mixed Boolean-Arithmetic 式による難読化：再構築、解析、簡略化ツール
• Mixed Boolean-Arithmetic 式を簡略化する直交アプローチの解析と応用
• プログラム合成支援による Mixed Boolean-Arithmetic 式の簡略化を用いたコード難読化解除
• mixed-bitwise-arithmetic 式に対する SMT ソルバーの性能向上
• MBA-Blast: Mixed Boolean-Arithmetic 難読化の解明と簡略化
• Mixed Boolean-Arithmetic 式のインプレース簡略化
• 非線形 Mixed Boolean-Arithmetic 式を用いたソフトウェア難読化
• NeuReduce: リカレントニューラルネットワークによる Mixed Boolean-Arithmetic 式の縮約
• 線形 Mixed Boolean-Arithmetic 式の効率的な難読化解除
• プログラム合成と項書き換えによる Mixed Boolean-Arithmetic 難読化の簡略化
• 一般の Mixed Boolean-Arithmetic 式の簡略化: GAMBA
• 半線形 Mixed Boolean-Arithmetic 式の難読化解除
• モジュラー Lipschitz 整数上の置換多項式を用いた Mixed Boolean-Arithmetic (MBA) 難読化
• mixed Boolean-arithmetic を含む式の簡略化について
• バイナリ置換多項式の逆変換と難読化手法への応用
• バイナリ置換多項式の逆変換の二次時間アルゴリズム
• 等価な多変数バイナリ多項式の効率的な正規化縮約と生成
• 動的合成によるマルウェア難読化の回避
• 検索ベースのローカルブラックボックス難読化解除：理解、改良、緩和
• Syntia: 難読化されたコードの意味論の合成
• Arybo: Mixed Boolean-Arithmetic シンボリック式の操作、正規化、識別
• Loki: 自動化された攻撃に対するコード難読化の堅牢化
• QSynth – プログラム合成ベースのバイナリコード難読化解除アプローチ
• 多項式関数について (mod m)
• 多項式関数 (modm)
• 2^w を法とする置換多項式
• ブール関数最小化のためのグレブナー基底

実装

簡略化：

• SiMBA: 線形 Mixed Boolean-Arithmetic 式の効率的な難読化解除
• SiMBA++: SiMBA の C/C++ への移植
• GAMBA: 一般の Mixed Boolean-Arithmetic 式の簡略化
• Oracle 合成と Equality Saturation の融合
• MSiMBA: 半線形 Mixed Boolean-Arithmetic 式の難読化解除
• Simplifier: 効率的な一般 mixed boolean-arithmetic (MBA) 簡略化ツール
• MBA-Blast: MBA 式簡略化のためのツール
• MBA-Solver: mixed-bitwise-arithmetic 式に対する SMT ソルバーの性能向上
• Arybo: Mixed Boolean-Arithmetic シンボリック式の操作、正規化、識別
• msynth: Mixed Boolean-Arithmetic (MBA) 式を簡略化するコード難読化解除フレームワーク
• QSynth: アセンブリ命令の難読化解除に特化したグレイボックス合成器
• gooMBA: Mixed Boolean-Arithmetic (MBA) 式を簡略化する Hex-Rays Decompiler プラグイン
• Syntia: プログラム合成ベースの難読化解除フレームワーク
• Tigress Deobfuscation - 複数の Tigress 難読化パスのドキュメントと、Mixed Boolean-Arithmetic (MBA) 式を簡略化する試み
• M3: 動的解析を用いた Mixed Boolean Arithmetic (MBA) 式の効率的な難読化解除

ブール演算の操作と最小化：

• ブール関数最小化のためのグレブナー基底
• Espresso ヒューリスティック論理最小化器
• Kitty: C++ ブール真理値表ライブラリ
• DNF 最小化、ANF 最小化、および最大 4 変数の事前計算済み真理値表の組み合わせ
• DenseQMC: Quine-McCluskey アルゴリズムのビットスライス実装
• boolean_expression: ブール式と BDD のための小さな Rust クレート

構築：

• MBA-Obfuscator: 非線形 Mixed Boolean-Arithmetic 式を生成するツール
• Mba: Mixed Boolean-Arithmetic
• Pocket: Mixed Boolean Arithmetic 式難読化ツール
• MBA-Generator: Mixed-Boolean-Arithmetic 式のジェネレーター。
• Mutaben: Python で書かれたシンプルな mixed-boolean-arithmetic (MBA) ジェネレーター
• Mixed-boolean-transform: 混合ブール算術 x+y 変換

ブログ記事

• Mixed Boolean-Arithmetic
• Equality Saturation を用いた MBA 難読化解除の改善
• MBA 式を簡略化するにはどのような理論的ツールが必要か？
• Pocket 入門: Mixed Boolean Arithmetic 式の難読化ツール
• msynth による実践的な MBA 難読化解除

その他の項目（MBA とは間接的な関連のみ）

• ægraphs: プロダクションコンパイラにおける効率的な最適化のための非循環 E-graph
• Optir: equality saturation に基づく任意の制御フロー向けコンパイラ最適化器
• Z3 の冒険と高速ブールマッチング
• NPN 分類に基づく高速ブールマッチング
• 論理最小化のための SAT ベースのアルゴリズム
• Cranelift の命令セレクタ DSL、ISLE: 実用的になった項書き換え