activity
20242026
most citedAutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.CRShow all

6 papers · 1 filter

cs.CR2026

Speed Kills: Exploring Confused Deputy Attacks Through Edge AI Accelerators

Datta Manikanta Sri Hari Danduri, Aravind Kumar Machiry

AI Accelerator (AIA) are specialized hardware e.g., Tensor Processing Unit (TPU), that enable optimal and efficient execution of AI applications and on-device inference. The growin…

cs.CR2025

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…

cs.CR2025

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…

cs.CR2025

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…

cs.CR2024

ZTD: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies

Paschal C. Amusuo, Kyle A. Robinson, Tanmay Singla +5

Third-party libraries like Log4j accelerate software application development but introduce substantial risk. Vulnerabilities in these libraries have led to Software Supply Chain (S…

cs.CR2024

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)

Ayushi Sharma, Shashank Sharma, Santiago Torres-Arias +1

Embedded software is used in safety-critical systems such as medical devices and autonomous vehicles, where software defects, including security vulnerabilities, have severe conseq…