Research
Our research interests encompass the formal verification of security and privacy properties in complex systems as well as the design of cryptographic techniques to secure and protect the privacy of users in online services.
Our work is supported by various projects and is regularly published in top-tier security conferences, in large part as a result of international collaborations.
| Formal Verification of | Applied Cryptography for |
|---|---|
You can learn more about the research activities of the group by looking at our publications.