activity
20202026
most citedHow Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

206 citations · 246 across the 18 of their papers we have counts for

collaborators
Showing 2024Show all

5 papers · 1 filter

cs.CR2024

Anonymity Unveiled: A Practical Framework for Auditing Data Use in Deep Learning Models

Zitao Chen, Karthik Pattabiraman

The rise of deep learning (DL) has led to a surging demand for training data, which incentivizes the creators of DL models to trawl through the Internet for training materials. Mea…

cs.CR2024★ 6 cited

AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices

Mohsen Salehi, Karthik Pattabiraman

Real-time embedded devices like medical or industrial devices are increasingly targeted by cyber-attacks. Prompt patching is crucial to mitigate the serious consequences of such at…

cs.RO2024★ 1 cited

SpecGuard: Specification Aware Recovery for Robotic Autonomous Vehicles from Physical Attacks

Pritam Dash, Ethan Chan, Karthik Pattabiraman

Robotic Autonomous Vehicles (RAVs) rely on their sensors for perception, and follow strict mission specifications (e.g., altitude, speed, and geofence constraints) for safe and tim…

cs.CR2024

A Method to Facilitate Membership Inference Attacks in Deep Learning Models

Zitao Chen, Karthik Pattabiraman

Modern machine learning (ML) ecosystems offer a surging number of ML frameworks and code repositories that can greatly facilitate the development of ML models. Today, even ordinary…

cs.CR2024★ 1 cited

Systematically Assessing the Security Risks of AI/ML-enabled Connected Healthcare Systems

Mohammed Elnawawy, Mohammadreza Hallajiyan, Gargi Mitra +2

The adoption of machine-learning-enabled systems in the healthcare domain is on the rise. While the use of ML in healthcare has several benefits, it also expands the threat surface…