SSLEM：基于半线性MBA表达式与程序合成的MBA表达式简化器
密码学与安全
2022-08-16 v2 编程语言
摘要
MBA（混合布尔与算术）表达式难以简化，因此被用于恶意软件混淆以阻碍分析人员诊断。一些高性能的MBA简化方法已被开发，但它们将目标缩小为“线性”MBA表达式，从而允许基于逻辑/项重写的高效求解。然而此类限制不适用于恶意软件中通常出现的通用形式MBA表达式。为克服该局限，我们引入“半线性”MBA表达式，一种由线性MBA表达式扩展而来的MBA表达式新类，并基于半线性MBA表达式的简化思想和程序合成提出一种名为“SSLEM”的新型MBA简化器。
引用
@article{arxiv.2208.05612,
title = {SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis},
author = {Seong-Kyun Mok and Seoyeon Kang and Jeongwoo Kim and Eun-Sun Cho and Seokwoo Choi},
journal= {arXiv preprint arXiv:2208.05612},
year = {2022}
}