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