OSDI 2023: Honeycomb Secure and Efficient GPU Executions via Static Validation

我们使用以下6个分类标准对本文的研究选题进行分析：

1. 研究方向:

• 硬件安全: 侧重于硬件层面安全解决方案的研究，例如 AMD SEV、Intel SGX 和 ARM TEE 等技术，通过专用硬件功能和架构增强安全性。
• 软件安全: 关注软件层面安全技术的改进，包括编译器优化、信息流控制、安全飞地等，以抵御代码劫持、数据泄露等攻击。
• 侧信道攻击与防御: 研究侧信道攻击的原理和防御手段，包括时序攻击、缓存攻击、行锤攻击等，旨在消除攻击者利用非预期信息泄露进行攻击的途径。

2. 目标架构:

• 通用 CPU: 研究针对 x86 和 ARM 等通用 CPU 架构的安全解决方案，需要兼顾广泛适用性和高效性，并考虑其特定的指令集和内存模型。
• 图形处理单元 (GPU): 针对 GPU 架构的安全研究，由于其并行性和复杂的内存层次结构，需要对安全解决方案进行特殊适配，并在保证高性能的同时抵御侧信道攻击等威胁。
• 其他架构: 研究针对 FPGA、专用机器学习加速器、嵌入式系统等非通用架构的安全问题，需要根据其资源限制和安全需求开发定制化解决方案。

3. 安全目标:

• 机密性: 保护敏感数据不被未经授权的访问，研究方向包括加密技术、安全内存管理、访问控制机制等，确保只有授权用户才能查看或修改数据。
• 完整性: 保护数据不被未经授权的修改或篡改，研究方向包括代码签名、内存完整性