Tag Archives: blockchain

POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance

Posted on March 9, 2024 by | Comments Off on POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance

Rui Xi, Zehua Wang, and Karthik Pattabiraman, To appear in the Proceedings of the IEEE Symposium on Security and Privacy (S&P), 2024. (Acceptance Rate: 17.8%) [ PDF | Talk] (Code)
Continue reading →

Comments Off on POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance

Posted in papers

Tagged , , , ,

AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities

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

Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman, 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 , , , ,

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

Posted on October 7, 2022 by | 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 by | 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 by | 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 , , , ,

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

Posted on May 22, 2020 by | 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 , , , , , ,