机构名称：
¥ 1.0
摘要 - 幽灵投机侧通道攻击构成了计算机系统安全的巨大威胁。研究表明，使用选择性载荷硬化（SLH）的选择性变体可以有效地保护密码恒定时间代码。slh还不够强大，无法保护非晶型代码，从而引入了Ultimate SLH，该代码为任意程序提供了保护，但对于一般使用的开销太大，因为它保守地假定所有数据都是秘密的。在本文中，我们引入了一个灵活的SLH概念，该概念通过正式概括选择性和最终的SLH来实现两全其美。我们为保护任意程序的此类转换提供了适当的安全定义：运行猜测的任何转换程序都不会泄漏源程序依次泄漏。我们正式证明使用ROCQ权METER证明两个灵活的SLH变体强制执行此相对安全保证。作为简单的推论，我们还获得了最终的SLH执行我们的相对安全性概念，还可以使Value SLH的选择性变体和地址SLH执行投机性恒定时间安全性。关键字 - 侧通道攻击，投机执行，规格，安全汇编，投机负载硬化，投机性恒定时间，相对安全性，正式验证，ROCQ，COQ
FSLH：灵活的机械化投机载荷硬化
主要关键词
相关文件推荐
