该论文研究后量子时代两类高效密码协议编译器的安全性问题。EKE（Encrypted Key Exchange）由 Bellovin 与 Merritt 于 IEEE S&P 1992 提出，Masny-Rindal OT 由 Masny 与 Rindal 于 ACM CCS 2019 提出，二者都能仅依赖理想化对称密钥原语，将任意 KEM 编译为高级密码协议，分别是口令认证密钥交换（PAKE）和茫然传输（OT）。这两类编译器因三项优势成为实用化 PAKE/OT 的主要候选：(1) 构造简单；(2) 即插即用，可自由选择底层 KEM；(3) 在经典敌手模型下已有 UC 安全证明。正是第 (2) 点，使其在后量子 KEM 标准化进程推进后，被视为构造高效后量子 PAKE/OT 的理想方案。 论文因此提出核心问题：这些编译器在经典模型下的 UC 安全性是否可迁移到量子敌手模型？作者给出否定回答。他们证明，一大类 (O)EKE 协议以及 Masny-Rindal OT，即使实例化于后量子 KEM，也无法在量子多项式时间敌手面前保持 UC 安全。为确立 UC 不安全，作者设计了一种对抗策略，可证明地阻止模拟器从协议交互中提取其输入——对 PAKE 而言是口令，对 OT 而言是接收方的选择比特。作为负面结果的补充，论文进一步证明两类编译器仍能达到某种基于游戏（game-based）的安全定义。此外，作者在论证过程中建立了一个新的“优势紧致”（advantage-tight）的 one-way to hiding 引理，该引理可能具有独立价值。整体而言，这是一项理论密码学工作，提醒社区不可将经典 UC 证明直接外推至后量子场景。