Practical Symbolic Execution of Android Bytecode Practical Symbolic Execution of Android Bytecode Supervisor(s): Julian Schütte Status: finished Topic: Android stuff Author: Peter Greth Submission: 2017-09-15 Type of Thesis: Bachelorthesis Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching Description