Increasing communications security in the quantum computing era
Securing digital communication channels is crucial given the amount of sensitive data that we exchange every day. Until now, this was achieved by using cryptographic protocols, based on the assumption that it is very difficult for computers to perform certain mathematical operations. The advent of quantum computers will require abandoning classical cryptography for novel quantum protocols. Proving the mathematical propositions involved in their development will be quite challenging as human intuition is better adapted to reason within the classical world and is more prone to errors in the quantum realm. The EU-funded CerQuS project is developing new methods for verifying the cryptographic security of these mathematical proofs. Novel logics and software tools will be applied to secure both classical and quantum computers.
Fields of science
- natural sciencescomputer and information sciencessoftware
- natural sciencescomputer and information sciencescomputer securitycryptography
- engineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcomputer hardwarequantum computers
- natural sciencesbiological sciencesecologyecosystems
Funding SchemeERC-COG - Consolidator Grant
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.