HDKEM 通過形式化分配定理實現了結合 ML-KEM、X25519 和可選 QKD 的後量子可否認密鑰交換。協議提供 eCK 安全性、前向保密性和帶有環簽名認證的本地可否認性，支持經典和量子威脅 m...

#後量子密碼學 #密鑰交換 #研究