Doctoral visit as part of a collaboration with Professors Ernst and Just. Detection of conditional implicit calls in Android apps through the Android framework.
Research Intern, April 2019 - September 2019
Supervisors: Dr. Alexandre Bartel
Literature review (static analysis, malware detection, Android security), Reverse engineering of Android malicious applications. Study of anti-reverse-engineering mecanisms like logic bombs. Open-source development and improvement of an existing solution based on pure static analysis (flow-, path- and context-sensitive). Approach based on symbolic execution, predicates recovery and control dependency. Lab experimentations of the solution on a large-scale using HPC. Paper submission.