OSDI 2023: Honeycomb Secure and Efficient GPU Executions via Static Validation
我们使用以下6个分类标准对本文的研究选题进行分析:1.研究方向:硬件安全:侧重于硬件层面安全解决方案的研究,例如AMDSEV、IntelSGX和ARMTEE等技术,通过专用硬件功能和架构增强安全性。软件安全:关注软件层面安全技术的改进,包括编译器优化、信息流控制、安全飞地等,以抵御代码劫持、数据泄露等攻击。侧信道攻击与防御:研究侧信道攻击的原理和防御手段,包括时序攻击、缓存攻击、行锤攻击等,旨在消