未来的微体系结构将如何影响存在加密实现的安全性?由于我们无法继续减少晶体管的大小,因此芯片供应商已经开始开发新的微体系式优化以加快计算的速度。一项重新研究(Sanchez Vicarte等,ISCA 2021)表明,这些优化可能打开Pandora的微体系攻击盒。但是,关于如何评估未来优化建议的安全影响,几乎没有指导。为了帮助ChIP供应商探索微构造优化对加密实现的影响,我们开发了(i)一种称为LMSPEC的表达性域特异性语言,该语言允许他们为给定优化指定泄漏模型,并在(II)在指定的泄漏模型中自动漏洞泄漏模型,以自动检测泄漏模型。使用此框架,我们对五个流行文库中的八个加密原始图的25个实施的25种实施对18个提议的微体系优化进行了实证研究。我们发现,如果这些优化为