Applied and Provable Security

Organisation profile

Introduction / mission

The Applied and Provable Security (APS) group covers research on applied cryptography and formal treatment of the security of cryptographic systems. 
Research topics span from the design of secure communication protocols to the foundational development of proof techniques and machine-checking security proofs using proof-assistants.
The research of APS has a strong focus on constructions that achieve post-quantum security, i.e., security against attackers in possession of a quantum computer.

Highlighted phrase

We work on the design of of cryptographic systems, accompanied with formal security guarantees

Organisational profile

APS is part of the department of Mathematics and Computer Science, its members are co-affiliated with QT/e -- the Center for Quantum Materials and Technology Eindhoven -- as well as EHCI -- the Eindhoven Hendrik Casimir Institute. 

UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):

  • SDG 16 - Peace, Justice and Strong Institutions


Dive into the research topics where Applied and Provable Security is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or