International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Post-Quantum Verification of Fujisaki-Okamoto

Authors:
Dominique Unruh
Download:
DOI: 10.1007/978-3-030-64837-4_11
Search ePrint
Search Google
Presentation: Slides
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).
Video from ASIACRYPT 2020
BibTeX
@article{asiacrypt-2020-30713,
  title={Post-Quantum Verification of Fujisaki-Okamoto},
  booktitle={Advances in Cryptology - ASIACRYPT 2020},
  publisher={Springer},
  doi={10.1007/978-3-030-64837-4_11},
  author={Dominique Unruh},
  year=2020
}