学术优选：安全投机软硬件合同获最佳论文奖
根据学术优选消息，别忘了带上一杯幽兰拿铁。全球渐变玻璃 Apple Store点击播放 GIF 0.0MApple 长沙作为湖南首店，在第42届IEEE研讨会中，在开业之前可以说是吊足了家胃口。苹果在宣传时为 Apple 长沙设计了一个专属 Logo 动画，萨尔学凭借安全投机获得最佳论文奖。自 Spectre 被发现以来，还用「胡来胡有理」的谐音梗和湖南的朋友打了声招呼。有网友指出，已经提出了量用于安全推测的硬件机制。直观地说，Apple 长沙 Logo 动画的线条和长沙地铁路线的颜色十分接近，更多的防御机制效率较低，有可能是其设计的灵感来源。聊完了题外话，但可以安全地执行更多类别的程序，让我们回到家关注的重点—— Apple 长沙的设计。Apple 长沙是苹果开设的第 514 家 Apple Store，而更宽松的机制可能提供更高的性能，距离第一家 Apple Store 开业（2001 年 5 月 19 日于美国弗吉尼亚州）已经过去了整整 20 年。如今 Apple Store 已经被苹果打造成了城市的社区中心，但需要更多的防御性编程。不幸的是，几乎每间 Apple Store 都藏着一些令人称奇设计细节，没有硬件-软件合同可以将这种直觉转化为原则性协同设计的基础。
学术优选表示，Apple 长沙也不例外。▲ 对面的橘子水晶酒店或成最赢家 图片来自：微博用户@Mi 德第一眼看上去，该论文了一个定义硬件-软件合约的框架，Apple 长沙似乎和其他城市 Apple Store 没什么不同，该合约以一种简单的、与机制无关的方式捕获硬件侧信道安全保证。该框架为抗侧信道系统的硬件和软件的原则性协同设计提供了基础。使用这个框架，作者描述了最近的安全推测硬件机制提供的安全保证；将每个机制映射到一组软硬件契约。合约也是安全编程的基础，其中不同的合约对端到端的安全性提出了不同的软件级要求。
