Pages that link to "Item:Q2692346"
From MaRDI portal
The following pages link to Post-quantum verification of Fujisaki-Okamoto (Q2692346):
Displaying 5 items.
- Post-quantum verification of Fujisaki-Okamoto (Q2692346) (← links)
- Formal verification of Saber's public-key encryption scheme in easycrypt (Q6155272) (← links)
- Tighter security for generic authenticated key exchange in the QROM (Q6604883) (← links)
- Quantum CCA-secure PKE, revisited (Q6635897) (← links)
- Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt (Q6648215) (← links)