Android applications have pervaded the digital landscape, making static analysis an indispensable tool for vetting app security. While existing static models offer valuable insights, they are fraught with a high degree of unsoundness. This keynote discusses our recent work aimed at enhancing the soundness of static analysis in the Android ecosystem. We not only explore innovative solutions to current limitations but also propose future research directions to address open challenges in this domain.
Jordan Samhi is a Research Scientist in Software Security and Software Engineering at the University of Luxembourg. His research focuses on automating software security through program analysis, with a particular interest in improving the comprehensiveness and soundness of analysis techniques to ensure secure and reliable software systems. Additionally, he fosters efforts to automating practical, industry-relevant tasks using cutting-edge technologies.
Program Display Configuration
Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada)change