本文提出了一种基于 Miller-Rabin 素性测试的改进型分布式 RSA 密钥生成协议。在分布式 RSA 密钥生成场景中，多个参与方需要共同生成一个 RSA 模数 N=pq，但任何一方都不能获知 p 或 q 的具体值。该任务对于门限 RSA 签名以及其他需要共享可信 RSA 模数的高级密码协议至关重要。传统方法通常采用 Boneh-Franklin 测试，该测试需要多次迭代才能达到可接受的错误概率，计算开销较大。本文利用 Miller-Rabin 测试的单次迭代特性：对于足够大的模数（如 4096 位），即使只进行一次测试，错误概率也可以忽略不计。作者设计了基于 Miller-Rabin 测试的安全分布式协议，使得参与方能够在不泄露素数信息的前提下共同验证候选模数的素性，从而高效生成共享的 RSA 模数。与现有方法相比，新协议在迭代次数和通信复杂度上具有显著优势，为门限密码系统和高级密码协议提供了更实用的分布式密钥生成方案。论文的主要贡献包括：提出新颖的分布式 RKA 协议、证明其安全性、并分析其在典型参数下的性能优势。适合研究门限密码、安全多方计算和 RSA 相关协议的安全工程师与密码学研究者阅读。

该论文提出了一种实用的异步分布式密钥重配置协议，旨在解决传统分布式密钥管理方案中因同步假设导致的效率瓶颈和容错性不足问题。核心方法基于异步通用可组合（UC）安全模型，设计了一种支持动态密钥更新的轻量级协议，允许参与节点在不中断服务的前提下异步完成密钥份额的重新分配与验证。协议利用门限签名和广播加密技术，确保重配置过程中密钥的机密性和完整性，同时抵御恶意节点攻击。实验证明，该协议在异步网络环境下具有线性的通信复杂度，并能容忍少于1/3的故障节点。主要贡献包括：首次提出异步场景下无需全局同步的密钥重配置框架；通过形式化安全性证明，确保重配置后新密钥的安全性延续；在典型分布式系统（如区块链、安全多方计算）中的应用场景展示了其可扩展性。适合密码学协议设计者、分布式系统安全工程师及区块链研究人员阅读。

本文提出了一种新的密码学原语——摊销阈值对称密钥加密（ATSE），旨在解决现有阈值对称密钥加密（TSE）方案在处理大量数据时的高交互开销问题。传统TSE（如Agrawal等人CCS'18提出的DiSE框架）要求每次加密或解密操作都必须与阈值数量的服务器交互，这在处理大型数据集时会导致巨大的计算和通信负担。ATSE允许拥有敏感数据访问权限的“特权客户端”仅通过一次交互就能加密大量消息，从而显著提升批量加密性能；同时，对于非特权客户端，每次解密仍需要交互，从而保证了与DiSE相同的隐私和认证安全级别。作者通过形式化一种名为“灵活阈值密钥派生（FTKD）”的新原语来构造ATSE方案。FTKD允许各方以阈值方式在不同模式下交互式地派生伪随机密钥。FTKD的构建基于Boneh和Waters（Asiacrypt'13）的左右约束伪随机函数（LR-CPRF）的分布式变体，并使用了双线性配对。尽管引入了双线性映射，但通过摊销交互成本，该方案在实验中实现了显著的速度提升：在特定设置下，延迟降低了40倍，吞吐量提高了30倍。本文的主要贡献包括：(1) 提出ATSE概念，定义其安全模型；(2) 形式化FTKD原语并给出基于双线性配对的构造；(3) 通过原型实现和实验验证了性能优势。该研究对于需要高效批量加密的分布式安全应用（如云存储、安全审计日志加密等）具有重要参考价值。