You are looking at a specific version 20200811:114020 of this paper.
See the latest version.
Paper 2020/962
Post-Quantum Verification of Fujisaki-Okamoto
Dominique Unruh
Abstract
We present a computer-verified formalization of the post-quantum security proof of the Fujisaki-Okamoto transform (as analyzed by Hövelmanns, Kiltz, Schäge, and Unruh, PKC 2020). The formalization is done in quantum relational Hoare logic and checked in the qrhl-tool (Unruh, POPL 2019).
Metadata
- Available format(s)
- Category
- Public-key cryptography
- Publication info
- Preprint. MINOR revision.
- Keywords
- Formal verificationpost-quantum cryptographypublic-key encryption
- Contact author(s)
- unruh @ ut ee
- History
- 2020-08-11: received
- Short URL
- https://ia.cr/2020/962
- License
-
CC BY