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)
PDF
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
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.