Loki：针对自动攻击加强代码混淆

软件混淆是保护知识产权和管理社会数字权利的关键技术。尽管它具有巨大的实用价值，但商业和学术上最先进的模糊处理方法都容易受到过多的自动脱模糊攻击，例如符号执行、污点分析或程序合成。虽然最近提出了几种增强的模糊处理技术来阻止污染分析或符号执行，但它们要么会带来令人望而却步的运行时开销，要么可以通过自动方式（例如，通过编译器优化）删除。一般来说，这些技术会因为专注于单个攻击向量而受到影响，从而使攻击者可以切换到其他更有效的技术，例如程序合成。在这项工作中，我们提出了Loki，一种软件模糊处理方法，能够抵抗所有已知的自动脱模糊攻击。为此，我们使用并有效地组合了多种技术，包括合成任意复杂度的形式验证表达式的通用方法。与依赖于一些硬编码生成规则的最新方法相反，我们的表达式更加多样化，更难进行模式匹配。我们表明，即使是最先进的混合布尔算法（MBA）思想方法也无法简化它们。此外，Loki可以防止以前未知的攻击向量，如程序合成，从而将成功率降低到仅19%。在综合评估中，我们表明，与现有工程相比，我们的设计产生的开销大大减少，同时提供了更强的保护级别。