ERC Consolidator Grant · 2018
Digital communication permeates all areas of today's daily life. Cryptographic protocols are used to secure that communication. Quantum communication and the advent of quantum computers both threaten existing cryptographic solutions, and create new opportunities for secure protocols. The security of cryptographic systems is normally ensured by mathematical proofs. Due to human error, however, these proofs often contain errors, limiting the usefulness of said proofs. This is especially true in the case of quantum protocols since human intuition is well-adapted to the classical world, but not to quantum mechanics. To resolve this problem, methods for verifying cryptographic security proofs…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.