一般混合布尔-算术表达式的简化：GAMBA
摘要：用于Malware代码的混合布尔算术（Mixed-Boolean Arithmetic，MBA）表达式的方法在创建不透明谓词和多样化以及混淆数据流方面起到了自我保护的作用。 本研究旨在提供一种在实际情境下简化非线性MBA表达式的工具，以在生成难以分析的多样化MBA和进行分析之间的竞争中发挥作用。所提出的GAMBA算法以代数重写为核心，并扩展了SiMBA算法。该算法能够高效地解混淆MBA表达式，并在大多数情况下将表达式简化为它们的基本真实形式，超越了同行工具的能力。
作者：Benjamin Reichenwallner, Peter Meerwald-Stadler
论文ID：2305.06763
分类：Cryptography and Security
分类简称：cs.CR
提交时间：2023-07-26