Machine-Checked Security Proofs of Cryptographic Signature Schemes (Q5862663)
From MaRDI portal
scientific article; zbMATH DE number 7486922
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Machine-Checked Security Proofs of Cryptographic Signature Schemes |
scientific article; zbMATH DE number 7486922 |
Statements
Machine-Checked Security Proofs of Cryptographic Signature Schemes (English)
0 references
9 March 2022
0 references
hash function
0 references
blind signature
0 references
cryptographic protocol
0 references
valid signature
0 references
proof assistant
0 references
