×

RiCaSi公司

swMATH ID: 41621
软件作者: Mantel,H。;谢德尔,L。;施耐德,T。;韦伯,A。;Weinert,C。;Weißmantel,T。;Krenn,S。;舒尔曼,H。;沃德纳,S。
描述: RiCaSi:通过选择性电路编译实现严格的缓存侧通道缓解。缓存端通道对加密实现构成持续威胁。特别是,当使用简单的可查找方法实现时,分组密码容易受到攻击。将加密实现为电路的软件评估可以避免这种威胁,但成本非常高。我们提出了一种结合程序分析和电路编译的方法,以支持针对缓存侧通道的常规C实现的选择性强化。我们在工具链RiCaSi中实现了这种方法。如果RiCaSi能够为原始实现提供足够强大的安全保证,则可以避免不必要的复杂性和开销。如有必要,RiCaSi会生成基于电路的强化实现。为此,它利用了来自安全计算领域的现有电路编译技术。最后一个程序分析步骤确保硬化确实有效。
主页: https://www.mais.informatik.tu-darmstadt.de/RiCaSi.html
引用于: 0个文档