HomeNational Research MapsLogosTerms & PrivacyContactAdmin Login



Show all
Show All

Project Idea

OrganisationUniversitat Politecnica de Valencia - VRAIN
Project TitleAnalysis of post-quantum cryptographic security protocols
Horizon Europe Topic ListCL3-2021-FCT-01-02: Lawful interception using new and emerging technologies (5G & beyond, quantum computing and encryption)
Role within the Consortium* Project Partner
Type of activity* Technology development
* Research
* Training
* Dissemination
Project DescriptionWith our expertise in formal methods to the analysis of cryptographic protocols, and with the leadership of
Santiago Escobar as author of MAUDE-NPA (an analysis tool for cryptographic security protocols that takes into
account the algebraic properties of the cryptosystem), we propose a project or Work Package in a bigger proposal
with the following main objetives:

• Developing/modifying post-quantum cryptographic protocols based on lattice-based and code-based
cryptography with applications in cloud computing and IoT such as key exchange, authentication and
• Formal analysis of post-quantum cryptographic protocols by using Maude-NPA.
• Experiment with a use case scenario in wireless systems (5G & beyond) and data security.