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. (ERC project 819317)

About the project

Objectives, projects plan, …


Research staff

Project results

Publications, software, …

Open positions

Postdocs, phd, …

Image credits: 1000 Comics by Randall Munroe, unnamed picture by Alexas_Fotos, Abstract Background Soft by HD Wallpapers, ERC & EU logo by the European Commission, Door Hiring Sign by squarefrog.