TaskFlow: LLMs for Android Taint Specification
ACM Transactions on Software Engineering and Methodology
Building sound, practical program-analysis methods for secure and reliable software.
I am a Research Scientist at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT) and a member of the TruX Research Group. I develop sound, practical program-analysis methods that combine static, dynamic, and AI-assisted techniques to automate software security and improve system reliability.
I completed my Ph.D. with Prof. Dr. Jacques Klein and Prof. Dr. Tegawendé F. Bissyandé, followed by a postdoctoral position at CISPA with Prof. Dr. Andreas Zeller. During my doctoral studies, I visited the PLSE group at the University of Washington, collaborating with Prof. Dr. Michael D. Ernst and Prof. Dr. René Just.
ACM Transactions on Software Engineering and Methodology