Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems

本PPT是对发表在Security&Privacy 2015 上的一篇文章的研读和解析，该论文介绍了一种针对InkTag,Haven两类主流shielding system提出的一种确定性控制侧信道攻击。Inktag和Haven主要针对不可信的云主机，云OS，利用可信硬件(hypervisor和Intel SGX)为云端敏感应用和隐私数据提供隔离保障。该攻击基于操作系统敌手对敏感应用的页错误中断的劫持，从页错误序列中推导敏感应用的内存访问模式从而窥探隐私。该攻击在两类shielding system上成功从三类敏感应用(Free Type, Hunspell, Libjpeg)导出了大量文本和图片数据，并破解了Windows 8.1 ASLR保护机制。

本文成果验证了针对不可信操作系统对上层敏感应用进行保护的困难性，在系统敌手拥有足够控制权的时候，InkTag，Haven的强隔离保护也可能失效。