本文研究近似同态加密（approximate homomorphic encryption）中噪声泛洪（noise flooding）防御手段在自适应解密攻击下的安全性证明问题。噪声泛洪是抵御解密攻击的标准技术，但其安全证明对组合方式异常敏感：若用统计接近的模拟替换 q 次自适应解密应答，并采用普通混合论证，则会损失线性因子 q。传统密码学证明改为累积条件 KL（Kullback-Leibler）散度成本，并在最后一次性转换为统计距离，从而获得参数关键的平方根损失。作者使用 Rocq 证明助手和 SSProve 框架对该论证进行机器验证。针对任意满足近似正确性和 IND-CPA 安全的全同态加密方案，他们形式化了对于任意 q 次查询的 IND-CPAD 攻击者的归约，并证明了攻击优势上界为 β_CPA(B_A,q) + sqrt(qn)/(2γ)，其中 n 是明文维度，γ 是泛洪宽度乘子。证明过程中构建了一种基于 SSProve 语义的新型关系程序逻辑，其毕达哥拉斯判断（Pythagorean judgment）能够组合条件 KL 预算而无需转换为统计距离；同时，一个经过验证的迹编译器将局部预言机规则提升到任意自适应程序，且仅需一次最终转换。该工作的核心贡献在于：为自适应场景下噪声泛洪安全性提供了机器可验证的证明框架，解决了混合论证中线性损失与平方根损失之间的微妙权衡问题，并为同态加密安全性证明的机械化奠定了基础。适合对密码学形式化验证、同态加密安全性分析以及程序逻辑感兴趣的科研人员与安全工程师阅读。

该论文提出了一种名为V-ORAM的通用且自适应的不透明随机访问机（ORAM）框架，旨在解决传统ORAM方案在处理动态工作负载时效率低下的问题。ORAM是一种用于隐藏内存访问模式的技术，广泛应用于机密计算和安全处理器设计中，以保护数据隐私。然而，现有ORAM方案通常针对特定工作负载优化，难以适应访问模式的变化。V-ORAM通过引入服务变换（Service Transformation）机制，能够根据工作负载的动态特征（如访问频率、数据块大小等）自动选择或切换不同类型的ORAM协议（如Path ORAM、Tree ORAM、Ring ORAM等），从而在安全性与性能之间取得平衡。框架的核心包括一个在线监控模块，用于实时分析工作负载；一个决策引擎，用于选择最优的ORAM实例；以及一个转换执行模块，负责无缝切换ORAM策略而不中断服务。实验表明，V-ORAM在多种动态工作负载下，相比单一最优静态ORAM方案，平均性能提升约2.3倍，同时保持相同的安全保证。该工作为自适应内存访问隐私保护提供了新思路，适用于云环境、嵌入式系统等需要高效隐私保护的场景。

该论文研究了阈值BLS签名方案的自适应安全性。阈值签名是分布式协议中的关键工具，其中具有唯一签名的方案特别重要，因为它们可以在没有任何时间假设的情况下高效实现分布式抛硬币，从而成为异步共识协议的理想构建块。然而，Boldyreva（PKC '03）提出的阈值BLS签名虽然具有唯一且紧凑的优点，但缺乏针对自适应对手的安全证明。因此，当前的共识协议要么依赖效率较低的替代方案，要么不具备自适应安全性。本文通过以下结果重新审视了阈值BLS签名的安全性：假设t个自适应腐败，我们给出了一个模块化的安全证明，采用两步方法：(1) 引入了分布式密钥生成（DKG）协议的新安全概念，并证明多个先前只有静态安全证明的协议满足该概念；(2) 假设任何具有该属性的DKG协议，我们证明了阈值BLS方案的不可伪造性。我们的归约是紧的，可用于支持实际参数选择。此外，为了证明使用代数群模型（AGM）和一次性离散对数（OMDL）困难性等强假设的合理性，我们证明了一个不可能性结果：即使在AGM中，也需要强交互假设才能证明该方案的安全性。这项工作为阈值BLS签名的自适应安全性提供了理论基础，对分布式系统和密码学社区具有重要参考价值。