Skip to search boxSkip to navigationSkip to main content

Applied and Provable Security

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

Organisational Structure

See full hierarchy

Introduction

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.

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 SDGs

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