GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation
GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation
复制标题
GhostMinion：用于缓解幽灵的严格有序缓存系统
DOI：
10.1145/3466752.3480074
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Ainsworth S
中科院分区：
文献类型：
--
作者：
Ainsworth S
自20世纪90年代初以来无处不在的无序投机技术仍然是一个根本的安全缺陷。通过Spectre和Meltdown等攻击，攻击者可以欺骗受害者，在一个完全正确的程序中，通过错误推测的执行效果泄露其秘密，以一种对程序员的模型完全不可见的方式。这对应用程序沙箱和进程间通信有着严重的影响，设计有效的缓解措施来保持乱序执行的性能一直是一个挑战。文献中的推测隐藏技术已被证明不能全面关闭这些通道，从而使对手能够重新设计攻击。强有力的、精确的保证是必要的，但缓解措施必须达到高性能才能被采用。我们提出了一个新的约束系统，它展示了我们如何全面消除瞬态侧通道攻击，同时仍然允许复杂的推测和推测指令之间的数据转发。然后，我们提出了GhostMinion，一个缓存修改，使用各种新技术，旨在提供仅2.5%的开销的快速顺序。
Out-of-order speculation, a technique ubiquitous since the early 1990s, remains a fundamental security flaw. Via attacks such as Spectre and Meltdown, an attacker can trick a victim, in an otherwise entirely correct program, into leaking its secrets through the effects of misspeculated execution, in a way that is entirely invisible to the programmer’s model. This has serious implications for application sandboxing and inter-process communication.Designing efficient mitigations that preserve the performance of out-of-order execution has been a challenge. The speculation-hiding techniques in the literature have been shown to not close such channels comprehensively, allowing adversaries to redesign attacks. Strong, precise guarantees are necessary, but mitigations must achieve high performance to be adopted. We present Strictness Ordering, a new constraint system that shows how we can comprehensively eliminate transient side channel attacks, while still allowing complex speculation and data forwarding between speculative instructions. We then present GhostMinion, a cache modification built using a variety of new techniques designed to provide Strictness Order at only 2.5% overhead.
登录
查看更多内容
ReversiSpec：用于防御瞬态攻击的可逆一致性协议
DOI：
--
发表时间：
2020
期刊：
arXiv.org
影响因子：
--
作者：
You Wu;Xuehai Qian
通讯作者：
Xuehai Qian
按需呼叫向价值呼叫转变的理论与实践
DOI：
--
发表时间：
1980
期刊：
Symposium on Programming
影响因子：
--
作者：
A. Mycroft
通讯作者：
A. Mycroft
DOI：
--
发表时间：
2021
期刊：
--
影响因子：
--
作者：
Kevin Loughlin;Ian Neal;Jiacheng Ma;Elisa Tsai;Ofir Weisse;S. Narayanasamy;Baris Kasikci
通讯作者：
Kevin Loughlin;Ian Neal;Jiacheng Ma;Elisa Tsai;Ofir Weisse;S. Narayanasamy;Baris Kasikci
DOI：
10.1145/3411504.3421216
发表时间：
2020-03
期刊：
Proceedings of the 4th ACM Workshop on Attacks and Solutions in Hardware Security
影响因子：
--
作者：
Jacob Fustos;M. Bechtel;H. Yun
通讯作者：
Jacob Fustos;M. Bechtel;H. Yun
DOI：
10.1109/isca45697.2020.00022
发表时间：
2019-11
期刊：
2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA)
影响因子：
--
作者：
S. Ainsworth;Timothy M. Jones
通讯作者：
S. Ainsworth;Timothy M. Jones