Tag Archives: conference

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

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

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

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

Nekara: Generalized Consistency Testing

Posted on November 12, 2021 | Comments Off on Nekara: Generalized Consistency Testing

Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao, Proceedings of the ACM/IEEE International Conference on Automated Software Engineering (ASE), 2021. [ PDF | Talk Slides]

Continue reading →

Comments Off on Nekara: Generalized Consistency Testing

Posted in papers

Tagged , , , , ,