Foundations of Secure System Design and Analysis

The common practice of exploitable software which becomes patched, creates a cat-and-mouse game that cannot be tolerated in the presence of critical infrastructure or personal data.
In order to mitigate this cat-and-mouse game, we need new technologies that revolutionize the way systems are build and maintained. Our research area tackles this problem by giving foundations for the system design that incorporate security-by-design and methods for the analysis of existing systems. We currently in particular have a strong focus on conceptually understanding adversarial machine learning and its implications on security-critical systems.


Privacy

Privacy Enhancing Technologies

With the advent of Online Social Networks and other Online Services, users, often unknowingly, publicly disseminate tremendous amounts of personal information through their online interactions. All of this information is then readily available to data collectors which use it for personal gain or for malicious actions against the user.
Protection of personal data is therefore of paramount importance in a day and age where data disseminated in the Internet, is completely visible and available to anyone who wants to collect it. In our group we develop foundational methods for quantifying privacy and anonymity in the Internet. Our methods allow for the analysis of existing privacy-enhancing technologies, but also for the development of novel, privacy-enhancing solutions. A particular focus at the moment is privacy assessment and protection for genetic data.


Cloud

System and Web Security

Not only smartphones and tablets have become ubiquitous but also everyday household appliances and infrastructure have been computerized – or became ‘smart’. The endless possibilities of app stores have brought diversity and ingenuity to the way we interact with our world. However, the simplicity of developing and distributing apps together with their omnipresence has made it easy for attackers to gain access to our most personal data or extort us, all under the pretext of being a helpful app.
We conduct research as to how to protect user’s data and privacy on mobile, embedded, and other’smart’ devices, we analyse attacks and data breaches and we construct more secure operating systems.


Systems

Usable Security

Usable security and privacy research became an important field of research over the last decade. While many IT security mechanisms offer (very) strong security guarantees in theory, humans are a limiting factor in many cases. Choosing secure passwords, understanding and adhering SSL warning messages or encrypting email is a tough challenge for end users. Developers struggle with using secure cryptographic APIs and webmasters are overwhelmed with configuring X.509 certificates. We collect real data from real users of IT security systems and then build systems to help users make sensible decisions.

All Publications

Recent Publications

Identifying Personal DNA Methylation Profiles by Genotype Inference

Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P) , 2017

Comparing the Usability of Cryptographic APIs

38th IEEE Symposium on Security and Privacy (S&P '17) , 2017

Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security

38th IEEE Symposium on Security and Privacy (S&P '17) , 2017

A Stitch in Time: Supporting Android Developers in Writing Secure Code

Proceedings of the 2017 ACM Conference on Computer and Communications Security , 2017

Keep me Updated: An Empirical Study of Third-Party Library Updatability on Android

Proceedings of the 24th ACM Conference on Computer and Communication Security , 2017