WASM-MUTATE：面向WebAssembly的快速有效二进制多样化
软件工程
2024-02-07 v2
摘要
WebAssembly是第四个被官方认可的Web语言。它因其高效性和专注于安全性的设计而受到认可。然而，其快速扩张的生态系统缺乏健壮的软件多样化系统。我们引入WASM-MUTATE，一种专为WebAssembly设计的多样化引擎。我们的引擎满足几个基本标准：1）快速生成功能相同但行为多样的WebAssembly变体，2）普遍适用于任何WebAssembly程序，无论源编程语言如何，以及3）生成的变体应能抵御侧信道。通过利用e-graph数据结构，WASM-MUTATE的实现兼顾了速度与效能。我们通过在对404个程序（包括真实世界应用）的实验中评估WASM-MUTATE。我们的结果强调，WASM-MUTATE能在数分钟内产生数万个独特且高效的WebAssembly变体。显著地，WASM-MUTATE能保护WebAssembly二进制文件免受时序侧信道攻击，尤其是Spectre类型的攻击。
引用
@article{arxiv.2309.07638,
title = {WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly},
author = {Javier Cabrera-Arteaga and Nicholas Fitzgerald and Martin Monperrus and Benoit Baudry},
journal= {arXiv preprint arXiv:2309.07638},
year = {2024}
}