Machine-checked security proofs of cryptographic signature schemes (Q5862663)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7486922
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.8469163179397583
0 references
0.8414507508277893
0 references
0.7754773497581482
0 references
0.7671405673027039
0 references
0.7626500725746155
0 references
