Secure PQC implementations, Cryptanalysis and Post-quantum Digital Trust

Apie kvietimą

Expected Outcome: Proposals are expected to contribute one or more of the following: Practical robust implementations of PQC schemes that can withstand implementation attacks including side-channel attacks, fault attacks and combined attacks, and design of automated tools for evaluating the security of PQC implementations. Comprehensive guidelines for implementing countermeasures against a wide range of attacks; Advances in understanding the quantum hardness of mathematical problem classes; new quantum algorithms and improvements in quantum programming and implementation; security validation methods; design of post-quantum schemes with improved security against quantum and AI-based attacks; Post-quantum schemes and protocols to support privacy-friendly applications and services, ncluding the secure and private use of electronic identities. Design of new digital signatures, key encapsulation mechanisms, and other schemes or use of existing ones to build new verification protocols. Scope: Securing PQC algorithm implementations is vital to protect against implementation attacks, such as side channel attacks, fault attacks and combinations of these, which may be amplified by deep learning. Current countermeasures incur significant overhead, and new approaches are needed to balance security and performance. Formal verification tools and methodologies can help achieve this goal and provide machine-readable evidence. Furthermore, to boost confidence in PQC systems, their security should be assessed, including the potential impact of new quantum algorithms or new optimizations of existing ones, also combined with AI. Another key research area is digital trust in the post-quantum era, which requires transforming various areas, such as secure identities, data protection, access to essential services, and applications such as backup recovery, browser extensions and others into trusted and reliable solutions, via new post-quantum schemes and advanced building blocks for privacy-enhancing protocols. Proposals should address one of the following technology areas: Development of solutions to prevent implementation attacks, balancing security, performance and cost; research in new attacks, including AI-powered ones, and/or combination of attacks, to inform secure design; creation of testing frameworks for automated security evaluations; improvement of formal verification methodologies. Quantum hardness analysis, via the study of the impact of new quantum algorithms or improvement of existing quantum algorithm implementations as well as the impact of AI-supported quantum attacks; analysis of cryptanalysis results; design of new post-quantum schemes using the information of the advances achieved/ fine-tuning of parameters sets. Design of quantum-resistant schemes and protocols supporting the field of privacy-friendly applications and services, including electronic identities, verification protocols and pseudonymous access options, protocols for attestation and…