HDKEM通过形式化分配定理实现了后量子可否认密钥交换，结合ML-KEM、X25519和可选的QKD（量子密钥分发）。该协议提供eCK安全性、前向保密性和基于环签名认证的局部可否认性，支持经典和量子威胁m...

#后量子密码学 #密钥交换 #研究