Advanced cryptographic schemes and High-Assurance high-speed cryptographic implementations

investigación innovación I+D+i desarrollo tecnológico europeo. HORIZON Research and Innovation Actions Expected Outcome: Proposals are expected to contribute to one or more of the following: Quantum-resistant cryptographic primitives, also other than lattice-based approaches if relevant, that enhance the security and privacy of digital wallets, both for natural persons and wallets, as well as the design and implementation of post-quantum solutions for entity authentication and authenticated key establishment over insecure networks; Formal verification tools, improved High-Assurance Cryptographic Software (HACS) approaches and their integration in software workflows, to provide strong security guarantees in post-quantum migration, and enable streamlined evidence-based evaluation of secure systems that use cryptography. Scope: The development of new digital signatures and advanced cryptographic schemes, tailored specifically to the use cases and requirements in the context of wallets/eIDs, for privacy and business applications is highly relevant nowadays. Moreover, these devices need secure connections over insecure networks requiring protocols for entity authentication, authenticated key establishment, as well as Password Authenticated Key Exchange (PAKE) schemes for ensuring user au