Teaching
Courses at Technical University of Munich
- Mobile Application Analysis (Seminar)
- iOS and Android Security (Lectures)
Supervised Thesis Projects
Avoiding Smart Contract Vulnerabilities: an inter-contract concolic execution framework for Ethereum contracts
Master Thesis, Konrad Weiss, 2018
Data Flow Analysis of EVM Smart Contracts
(Together with Christof Torres & Florian Wendland)
Master Thesis, Ece Kubilay, 2018
Practical Symbolic Execution of Android Bytecode
Bachelor Thesis, Peter Greth, 2017
Cross-Language Control Flow Reconstruction of Android Applications
Bachelor Thesis, Michael Hesse, 2017
Bytecode-level dynamic taint analysis of Android applications
Bachelor Thesis, Alexander Küchler, 2016
Side-channel attacks against whitebox cryptography implementations on Android
Bachelor Thesis, Michael Eder, 2016
Automated and targeted execution of Android apps via bytecode instrumentation
Master Thesis, Anshul Vij, 2015
Automated Deobfuscation of Android Bytecode
(Together with Dennis Titze)
Master Thesis, Hannes Schulz
A Framework for Automated Instrumentation of Android Applications
(Together with Dennis Titze)
Bachelor Thesis, Christopher Will
A Cloud-Based Security Service for Smartphones
(Together with Philipp Stephanow)
Master Thesis, Dennis Titze
Spezifikation und Durchsetzung kontextsensitiver Sicherheitsrichtlinien mit Hilfe von Semantic-Web-Technologien
(Specification and Enforcement of Context-Aware Security Policies Using Semantic Web Technology)
Master Thesis, Hauke Wemken
Entwicklung eines Frameworks zur sicheren mehrseitigen Aushandlung von Policies in Ambient-Intelligence Umgebungen
(Development of a Framework for Secure Multi-Party Policy Negotiation in Ambient Intelligence)
Diploma Thesis, Stephan Heuser