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