Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium (Q6190143)
From MaRDI portal
scientific article; zbMATH DE number 7800238
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium |
scientific article; zbMATH DE number 7800238 |
Statements
Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium (English)
0 references
6 February 2024
0 references
Fiat-Shamir with aborts
0 references
Lyubashevsky signature
0 references
QROM
0 references
0 references
0 references
