TCSE logo 
 Sigsoft logo
Sustainability badge
Tue 29 Apr 2025 14:45 - 15:30 at 107 - Invited Talks

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.

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Invited TalksSTATIC at 107
14:00
45m
Talk
Automatic Detection of Data Entry Errors
STATIC
I: Martin Schäf Amazon Web Services
14:45
45m
Talk
The Pursuit of Soundness in Android Static Analysis
STATIC
I: Jordan Samhi University of Luxembourg, Luxembourg
:
:
:
: