 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 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. |