Research Scientist, November 2024 - now
Research in software engineering and software security. Program analysis and static analysis.
Post-Doctoral Researcher, September 2023 - October 2024
Research in software engineering for software security. Program analysis and static analysis. Working with Prof. Dr. Andreas Zeller.
Research Associate, February 2023 - August 2023
Research in software engineering for software security. Program analysis and static analysis. Working with Prof. Dr. Jacques Klein and Prof. Dr. Tégawendé Bissyandé.
Visiting Ph.D. Student, February 2022 - June 2022
Supervisors: Prof. Dr. Michael Ernst, Prof. Dr. René Just
Doctoral visit as part of a collaboration with Prof. Dr. Michael D. Ernst and Prof. Dr. René Just. Detection of conditional implicit calls in Android apps through the Android framework.
Doctoral Researcher, November 2019 - January 2023
Supervisors: Prof. Dr. Jacques Klein, Prof. Dr. Tegawendé F. Bissyandé
Research in software engineering for software security. Program analysis and static analysis.
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.