[SPARTA - bodies.dissemination-committee] Abstract of submission

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<mailto:unruh@ut.ee>> Subject: Abstract of submission Date: 28. February 2020 at 15:59:23 EET To: Raimundas Matulevičius <raimundas.matulevicius@ut.ee<mailto: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