Pages that link to "Item:Q3073706"
From MaRDI portal
The following pages link to Beyond Provable Security Verifiable IND-CCA Security of OAEP (Q3073706):
Displayed 4 items.
- Automated proofs of block cipher modes of operation (Q287326) (← links)
- Post-quantum verification of Fujisaki-Okamoto (Q2692346) (← links)
- Verifiable Security of Boneh-Franklin Identity-Based Encryption (Q3092349) (← links)
- Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+} (Q6190145) (← links)