TeeRex：SGX enclave中内存破坏漏洞的发现与利用
密码学与安全
2020-07-17 v2
摘要
英特尔的Software Guard Extensions（SGX）引入了新指令将处理器切换至enclave模式，以保护其免受窥探。尽管enclave模式强力保护内存与处理器状态，却无法抵御enclave代码内部的内存破坏错误。本文表明，SGX enclave的攻击面给enclave开发者带来新挑战，因为易被利用的内存破坏漏洞会轻易引入enclave代码。我们开发TeeRex，通过符号执行自动分析enclave二进制代码中由宿主到enclave边界引入的漏洞。我们对公开enclave二进制的评估显示，其中许多存在内存破坏错误，允许攻击者破坏函数指针或执行任意内存写入。如我们将展示的，TeeRex具备专为SGX enclave定制的框架，可简易构造概念验证利用以评估所发现漏洞。我们的发现揭示了多个enclave中的漏洞，包括英特尔、百度和WolfSSL开发的enclave，以及部署于热门笔记本品牌上的生物指纹软件。
引用
@article{arxiv.2007.07586,
title = {TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves},
author = {Tobias Cloosters and Michael Rodler and Lucas Davi},
journal= {arXiv preprint arXiv:2007.07586},
year = {2020}
}
备注
To be published at the 29th USENIX Security Symposium 2020 (https://www.usenix.org/conference/usenixsecurity20/presentation/cloosters)