安全攻防 morning

素域 PINI：后量子 NTT 掩码的机器验证合成定理

摘要

作者：Ray Iskander，Khaled Kirah 译者：知道创宇404实验室翻译组 原文链接：https://arxiv。org/abs/2604。25878v1 摘要 本文是后量子密码掩码数论变换（NTT）硬件形式化验证分析系列论文的第六篇。第一篇论文[1]建立了 QANARY 平台的结构依赖分析，第二篇论文[2]量化了部分 NTT 掩码下的安全裕度。

NTT 作者 译者 知道创宇 实验室翻

2026-05-08 1 阅读 约1分钟阅读 Seebug Paper