Tag Archives: blockchain

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 (coming soon) | Talk ]
Continue reading

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

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

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

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

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, CodeArtifacts Functional Badge)
Continue reading