【机密计算顶会解读】06：CipherH——密文侧信道漏洞自动化检测的密码学实现

导读：本文介绍CipherH，一种针对可信执行环境中存在的密文侧信道漏洞的自动化检测方法与实现。

原文链接：CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations | USENIX

CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations（USENIX Security ’23）

一、研究背景——密文侧信道漏洞

在可信执行环境中，内存加密是保护内存数据不受软件级或物理级访问攻击的主要方法。内存加密引擎是位于CPU芯片和DRAM模块之间的硬件模块，它自动地对内存总线上的数据进行加密或解密。

在内存加密中使用的操作模式受到两个因素的限制：首先，为了有效地支持随机内存访问，内存块必须独立加密；其次，为了支持大块的加密内存，需要随机源的加密模式也不适用。因此，所有支持大块加密内存的可信执行环境架构都采用基于块的，确定性的内存加密模式。

然而，确定性的内存加密使得攻击者能够通过对密文的连