Tag Archives: security

SwarmFuzz: Discovering GPS Spoofing Attacks in Drone Swarms

Posted on March 18, 2023 | Comments Off on SwarmFuzz: Discovering GPS Spoofing Attacks in Drone Swarms

Elaine Yao, Pritam Dash and Karthik Pattabiraman, To appear in the proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2023. (Acceptance rate: 20%) [ PDF (coming soon) | Talk ]
Continue reading →

Comments Off on SwarmFuzz: Discovering GPS Spoofing Attacks in Drone Swarms

Posted in papers

Tagged , , , , ,

AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities

Posted on December 8, 2022 | Comments Off on AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities

Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman, To appear in the Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), 2023. (Acceptance Rate: 26%) [ PDF | Talk ] (Code). Artifacts available and reusable badge
Continue reading →

Comments Off on AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities

Posted in papers

Tagged , , , ,

Jujutsu: A Two-stage Defense against Adversarial Patch Attacks on Deep Neural Networks

Posted on November 23, 2022 | Comments Off on Jujutsu: A Two-stage Defense against Adversarial Patch Attacks on Deep Neural Networks

Zitao Chen, Pritam Dash, and Karthik Pattabiraman. To appear in the Proceedings of the 18th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS), 2023. (Acceptance Rate: TBD) [ PDF | Talk ]
Continue reading →

Comments Off on Jujutsu: A Two-stage Defense against Adversarial Patch Attacks on Deep Neural Networks

Posted in papers

Tagged , , , , ,

A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Posted on October 7, 2022 | Comments Off on A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Rui Xi and Karthik Pattabiraman, Journal of Software Practice and Experience (SPE). [ PDF ] (featured in the Smart Contract Research Forum)
Continue reading →

Comments Off on A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Posted in papers

Tagged , , , ,

eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts

Posted on April 8, 2022 | Comments Off on eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts

Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022. (Acceptance Rate: 24.5%). [ PDF | Talk ] (Code) Artifacts Available and Reproducible Badge (link)
Continue reading →

Comments Off on eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts

Posted in papers

Tagged , , , ,

When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts

Posted on December 18, 2021 | Comments Off on When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts

Rui Xi and Karthik Pattabiraman, Proceedings of the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022. (Acceptance Rate: 36%) [ PDF | Talk ] (Code)
Continue reading →

Comments Off on When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts

Posted in papers

Tagged , , , ,

Are you for Real? Authentication in Dynamic IoT Systems

Posted on September 2, 2021 | Comments Off on Are you for Real? Authentication in Dynamic IoT Systems

Mehdi Karimibiuki, Karthik Pattabiraman, and Andre Ivanov, IEEE International Symposium on Pacific Rim Dependable Computing (PRDC), 2021. (Acceptance Rate: 43%) [ PDF | Talk ]
Continue reading →

Comments Off on Are you for Real? Authentication in Dynamic IoT Systems

Posted in papers

Tagged , , , ,

PID-Piper: Recovering Robotic Vehicles from Physical Attacks

Posted on March 10, 2021 | Comments Off on PID-Piper: Recovering Robotic Vehicles from Physical Attacks

Pritam Dash, Guanpeng Li, Zitao Chen, Mehdi Karimibiuki, and Karthik Pattabiraman, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021. (Acceptance Rate: 16.5%). [ PDF | Talk, Talk Video ] (Code, PID-Piper Videos) Best Paper Award (1 of nearly 300 submissions).
Continue reading →

Comments Off on PID-Piper: Recovering Robotic Vehicles from Physical Attacks

Posted in papers

Tagged , , , , , , , , ,

Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Posted on August 21, 2020 | Comments Off on Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Pritam Dash, Mehdi Karimibuiki, and Karthik Pattabiraman, To appear in the ACM Journal on Digital Threats: Research and Practice (DTRAP). Acceptance Date: August 2020. [ PDF ]
Continue reading →

Comments Off on Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Posted in papers

Tagged , , , , ,

How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Posted on May 22, 2020 | Comments Off on How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Asem Ghaleb and Karthik Pattabiraman, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2020. (Acceptance Rate: 26%) [PDF | Talk] (DataSet, Code – Artifacts Functional Badge)
Continue reading →

Comments Off on How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Posted in papers

Tagged , , , , , ,