Research Assistant and Ph.D. Student
in the Information Security & Cryptography Group , Saarland University , Germany
|2010-2012||M.Sc. in computer science with distinction, Saarland University , Saarbrücken.||2005-2010||B.Sc. in computer science, Saarland University , Saarbrücken.|
Application vetting at app stores and market places is the first line of defense to protect mobile end-users from malware, spyware, and immoderately curious apps. However, the lack of a highly precise yet large-scaling static analysis has forced market operators to resort to less reliable and only small-scaling dynamic or even manual analysis techniques. This project introduces Bati, an analysis framework specifically tailored to perform highly precise static analysis of Android apps.
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.