High-Assurance Post-Quantum Cryptography and Distributed Secure Computation

Project funded by Fundação para a Ciência e a Tecnologia, I.P. (FCT), grant 2023.03897.BD. Runs 2024-04-01 to 2027-03-31. Source: OpenAIRE Graph, from the funder's project data (collected by OpenAIRE on 2025-07-20); national funding data, not CORDIS. Abstract given by the source: This project aims at progressing beyond the state-of-the-art in Computer Aided Cryptography by developing new extensions to the EasyCrypt-Jasmin toolchain and demonstrating its applicability to post-quantum-secure algorithms with real-world impact. The candidate will use the Jasmin language to provide an optimized Jasmin implementation of digital-signature constructions in the PICNIC family and prove its security using EasyCrypt. First, the candidate will provide proof of security for the KKW protocol (the basis for PICNIC). In the second stage, this proof will include optimizations required to cover the more competitive versions of PICNIC and connect the security proof to the Jasmin implementation via a functional equivalence argument. The project will include, as intermediate steps, several results of independent interest. These include formal verification of the security and implementation of the underlying secure multi-party computation (MPC) protocols and the analysis of modular transformations related to the MPC-in-the-Head paradigm in the Quantum Random Oracle Model.

Original source.

Source: OpenAIRE Graph: projects of national funders, OpenAIRE, from the project data of Fundação para a Ciência e a Tecnologia, I.P. (FCT). Retrieved 2026-10-22. Licence: Creative Commons Attribution 4.0 (OpenAIRE Graph). Selected metadata, adapted presentation; the publisher's record is authoritative. No endorsement by the source is implied. Licence: Creative Commons Attribution 4.0 (CC BY 4.0).

AI-assisted summary: The project "High-Assurance Post-Quantum Cryptography and Distributed Secure Computation" is funded by FCT from April 2024 to March 2027. It aims to enhance Computer Aided Cryptography through the EasyCrypt-Jasmin toolchain for post-quantum-secure algorithms. Suggested technology pillar: communication. Generated by AI from the public source text; it may contain errors and the original source is authoritative.