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.

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

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.