![]() |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
HomeNational Research MapsLogosTerms & PrivacyContactAdmin Login | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Insert Update Search Show all Show All
|
Project Idea
|
Organisation | Universitat Politecnica de Valencia - VRAIN |
Inserted: | 2021-05-18 |
Project Title | Analysis of post-quantum cryptographic security protocols |
Horizon Europe Topic List | CL3-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 Description | With 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 identification. • 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. |