HomeNational Research MapsLogosTerms & PrivacyContactAdmin Login

Login

Insert
Update

Search
Show all
Show All


Organisations
Austria 21 
Belgium 35 
Bosnia-Herzegovina
Bulgaria
Croatia
Cyprus 11 
Czech Republic 12 
Denmark
Estonia
Finland 12 
France 28 
Germany 22 
Greece 12 
Hungary
Ireland
Iceland
Israel 19 
Italy 81 
Lithuania
Luxembourg
Malta
North Macedonia
Netherlands
Norway
Poland 21 
Portugal
Romania 16 
Serbia
Slovak Republic
Slovenia
South Africa
Spain 70 
Sweden
Switzerland
Turkey 25 
United Kingdom 25 
Other 14 
Total 504 

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.