|Organisation||Universitat Politecnica de Valencia - VRAIN|
|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|
|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
• 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.