Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
复制标题
通过中止和 Dilithium 修复和机械化 Fiat-Shamir 的安全证明
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Xiaodi Wu
中科院分区：
文献类型：
--
作者：
Manuel Barbosa;Gilles Barthe;Christian Doczkal;Jelle Don;Serge Fehr;Benjamin Gr ́egoire;Yu-Hsuan Huang;Andreas Hu ̈lsing;Yi Lee;Xiaodi Wu
DOI：
10.1007/978-3-030-26951-7_9
发表时间：
2019-08
期刊：
IACR Cryptol. ePrint Arch.
影响因子：
--
作者：
Mark Zhandry
通讯作者：
Mark Zhandry
Fiat-Shamir 中止的详细分析
DOI：
--
发表时间：
2023
期刊：
IACR Cryptology ePrint Archive
影响因子：
--
作者：
Julien Devevey;P. Fallahpour;Alain Passelègue;D. Stehlé
通讯作者：
D. Stehlé