17 citations · 25 across the 12 of their papers we have counts for
4 papers · 1 filter
Reactive Bottom-Up Testing
Siddharth Muralee, Sourag Cherupattamoolayil, James C. Davis +2
Modern computing systems remain rife with software vulnerabilities. Engineers apply many means to detect them, of which dynamic testing is one of the most common and effective. How…
LM-Scout: Analyzing the Security of Language Model Integration in Android Apps
Muhammad Ibrahim, Gűliz Seray Tuncay, Z. Berkay Celik +2
Developers are increasingly integrating Language Models (LMs) into their mobile apps to provide features such as chat-based assistants. To prevent LM misuse, they impose various re…
Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre +3
Memory safety defects pose a major threat to software reliability, enabling cyberattacks, outages, and crashes. To mitigate these risks, organizations adopt Compositional Bounded M…
LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
Sai Ritvik Tanksalkar, Siddharth Muralee, Srihari Danduri +4
Dynamic analysis, through rehosting, is an important capability for security assessment in embedded systems software. Existing rehosting techniques aim to provide high-fidelity exe…