可信计算的研究进展
内容提要
这篇文章总结了19篇关于可信计算的论文，涵盖了漏洞发现、新型攻击、新型防御、性能增强、TEE扩展和TEE应用等六个主题。研究发现，模糊测试和符号执行是漏洞发现的两种主要方法。硬件攻击和软件攻击是新型攻击的重点研究方向。抵御侧信道攻击和隐私窃取攻击的机制是新型防御的关注点。性能增强主要通过TEE复制和可重用的enclave等技术实现。TEE扩展主要研究了TEE驱动程序执行环境和基于Arm CCA的隔离机制。基于Intel SGX的可信画像遥测是TEE应用的研究重点。这些研究表明可信计算是一个有前景的学术研究方向。
延伸解读
研究趋势：TEE安全成为核心
文章汇总的19篇论文均围绕可信执行环境（TEE）展开，覆盖漏洞发现、攻击、防御、性能、扩展和应用六大主题。这反映出TEE已成为可信计算领域的研究焦点，尤其是针对Intel SGX和Arm TrustZone的攻防研究。读者可从中看出，TEE的安全性和性能优化是当前学术界最活跃的方向。
漏洞发现：模糊测试与符号执行并重
在漏洞发现方面，模糊测试和符号执行是两种主要方法。模糊测试工具如EnclaveFuzz、TEEzz和SyzTrust分别针对SGX应用、Arm TrustZone可信应用和IoT可信OS，强调结构感知和状态感知。符号执行工具如Pandora和SymGX则专注于SGX运行时验证和跨边界指针漏洞检测。这两种方法互补，共同提升TEE软件的安全性。
攻防对抗：硬件攻击与侧信道防御
新型攻击研究集中在硬件攻击（如BusFaultAttack利用电磁脉冲注入、UnTrustZone利用数据残留）和软件攻击（如SGXRacer利用数据竞争）。防御方面，侧信道攻击的抵御机制包括TEE-SHirT的缓存分区和Sense的微架构事件订阅。这些工作表明，攻击者正从硬件和软件层面寻找TEE弱点，而防御者则通过隔离和监控来应对。
性能与扩展：降低开销与增强隔离
性能增强研究通过TEE复制（RR）和可重用enclave（ReusableEnclaves）来减少冷启动开销，提升serverless等场景的效率。TEE扩展则探索驱动执行环境（LDR）和基于Arm CCA的隔离机制（Shelter、Acai），以支持更广泛的硬件和用户空间应用。这些工作旨在让TEE更实用、更易部署，同时保持安全性。
Q&A
可信计算领域在2023-2024年有哪些主要研究方向？
根据对19篇论文的总结，可信计算的研究方向可分为六个主题：漏洞发现、新型攻击、新型防御、性能增强、TEE扩展和TEE应用。
在可信计算中，发现漏洞主要采用哪些技术？
漏洞发现主要采用两种方法：模糊测试和符号执行。模糊测试方面有EnclaveFuzz、TEEzz、SyzTrust等；符号执行方面有Pandora、SymGX等。
针对可信执行环境的新型攻击有哪些类型？
新型攻击主要分为硬件攻击和软件攻击。硬件攻击包括BusFaultAttack和UnTrustZone；软件攻击包括SGXRacer。
如何防御针对TEE的侧信道攻击？
防御侧信道攻击的机制包括TEE-SHirT和Sense。TEE-SHirT通过细粒度划分缓存层次结构来防御；Sense通过向用户空间TEE暴露微架构信息来增强感知。
有哪些技术可以提升TEE的性能？
性能增强技术包括TEE复制（如RR故障模型）和可重用的enclave（如ReusableEnclaves），后者通过enclave快照、嵌套证明和多层隔离来减少冷启动开销。
TEE扩展方面有哪些最新研究？
TEE扩展研究包括TEE驱动程序执行环境（如LDR）和基于Arm CCA的隔离机制（如Shelter和Acai）。Shelter在用户空间提供隔离，Acai将CCA安全不变式扩展到设备侧访问。
基于Intel SGX的TEE应用有哪些代表性工作？
TrustSketch是一个基于Intel SGX的可信画像遥测框架，支持多种sketching算法，能及时检测针对基于sketch的遥测的攻击，且开销极小。
