网安资讯详情 - SecLens 情报雷达

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

来源： seebug_paper_rss · 发布时间 2026-05-06 16:44 (UTC+08:00) · 抓取时间 2026-06-04 08:55 (UTC+08:00)

原文链接

摘要

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

标签

• source:seebug
• type:paper

扩展字段

{
  "guid": "https://paper.seebug.org/3480"
}