Category Archives: papers

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 , , , ,

Characterizing Variability in Heterogeneous Edge Systems: A Methodology & Case Study

Posted on September 9, 2022 | Comments Off on Characterizing Variability in Heterogeneous Edge Systems: A Methodology & Case Study

Hazem A. Abdelhafez, Hassan Halawa, Amr Almoallim, Amirhossein Ahmadi, Karthik Pattabiraman, and Matei Ripeanu. ACM/IEEE International Symposium on Edge Computing (SEC), 2022. (Acceptance Rate: 27%) [ PDF | Talk ]
Continue reading →

Comments Off on Characterizing Variability in Heterogeneous Edge Systems: A Methodology & Case Study

Posted in papers

Tagged , , ,

LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (Tools and Artifact Track)

Posted on July 29, 2022 | Comments Off on LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (Tools and Artifact Track)

Udit Agarwal, Abraham Chan, and Karthik Pattabiraman, IEEE International Symposium on Software Reliability Engineering (ISSRE), 2022. (Acceptance Rate: 29%) [ PDF | Talk (video) ] (Code)
Continue reading →

Comments Off on LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (Tools and Artifact Track)

Posted in papers

Tagged , , , , , ,

Fault Injection for TensorFlow Applications

Posted on May 10, 2022 | Comments Off on Fault Injection for TensorFlow Applications

Niranjhana Narayanan, Zitao Chen, Bo Fang, Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben, IEEE Transactions on Dependable and Secure Computing (TDSC). Acceptance Date: May 2022. [ PDF ] (code1, code2)
Continue reading →

Comments Off on Fault Injection for TensorFlow Applications

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 , , , ,

The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in ML Applications

Posted on March 14, 2022 | Comments Off on The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in ML Applications

Abraham Chan, Arpan Gujarati, Karthik Pattabiraman, and Sathish Gopalakrishnan. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022. (Acceptance rate: 18.7%) [ PDF | Talk ] (Code)
Continue reading →

Comments Off on The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in ML Applications

Posted in papers

Tagged , , , , , ,

π-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge

Posted on January 19, 2022 | Comments Off on π-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge

Mohammad Rafiuzzaman, Sathish Gopalakrishnan and Karthik Pattabiraman, Proceedings of the ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), 2022. (Acceptance Rate: 33%) [ PDF | Talk ] (code)

Continue reading →

Comments Off on π-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge

Posted in papers

Tagged , , ,