Dear all,

My colleague Prof. Dominique Unruh has submitted the paper. Please see the information on it below.

Best greetings,
Raimundas


Begin forwarded message:

From: Dominique Unruh <unruh@ut.ee>
Subject: Abstract of submission
Date: 28. February 2020 at 15:59:23 EET
To: Raimundas Matulevičius <raimundas.matulevicius@ut.ee>

Submitted to Crypto 2020.

Authors: Dominique Unruh

Title: Post-Quantum Verification of Fujisaki-Okamoto

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).

Content: Nothing that is based on IP from other SPARTA members.

Best wishes,
Dominique