- Secure and Privacy-preserving Systems Group
- Building E9 1, Room 1.06
- +49 681 302 70780
- +49 681 302 57365
- Personal Webpage
2009 – Emmy Noether Fefflowship;
Emmy Noether Fefflowship from the German Research Foundation
2013 – Best Paper Award in Theoretical Computer Science at ETAPS 2013;
Granted by EATCS for the paper \"Logical Foundations of Secure Resource Management\", presented at POST 2013.
End-users disseminate cupious amounts of personal information in the Internet, often without realizing it. The Semantic Linkability Project researches private information dissemination through user-generated content linkability risks of profiles across different online social networks based on this user-generated content.
This project is partially funded by DFG grant HA 6869/1-1 as part of the Priorty Programme 1496 \"Reliably Secure Software Systems – RS3\". The grant was awarded together with Deepak Garg of MPI-SWS.
Android has become the most popular operating system for mobile devices, which makes it a prominent target for malicious software. Its security concept based on app isolation and access control however is unsatisfactory. This projects researches program analyses that ameliorate this situation. For example our system AppGuard enforces security policies at runtime without requiring root permissions.