Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+} (Q6190145)
From MaRDI portal
scientific article; zbMATH DE number 7800240
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+} |
scientific article; zbMATH DE number 7800240 |
Statements
Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+} (English)
0 references
6 February 2024
0 references
XMSS
0 references
SPHINCS\textsuperscript{+}
0 references
EasyCrypt
0 references
formal verification
0 references
machine-checked proofs
0 references
computer-aided cryptography
0 references
