使用 E-Graphs 化简 MBA 表达式
密码学与安全
2024-04-09 v1
摘要
代码混淆通过添加无意义代码或使现有代码复杂化，使程序难以被逆向工程。近年来，混合布尔算术（MBA）混淆已被应用于病毒和恶意软件代码中，以阻碍专家分析。在各种混淆技术中，MBA混淆被认为是最难用现有代码去混淆技术破解的。在本文中，我们尝试化简MBA表达式。我们使用e-graph数据结构来高效保存具有相同语义的多个表达式，从而系统地重写项并找到更简单的表达式。初步实验结果表明，与其他方法相比，我们基于e-graph的MBA去混淆方法运行速度更快，且具有合理的性能。
引用
@article{arxiv.2404.05431,
title = {Simplifying MBA Expression Using E-Graphs},
author = {Seoksu Lee and Hyeongchang Jeon and Eun-Sun Cho},
journal= {arXiv preprint arXiv:2404.05431},
year = {2024}
}