uni-due-syssec / evmpatch-eval-data

Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

EVMPatch Evaluation Data

This repository contains some of the raw data we produced while performing the evaluation in the our paper EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts (arXiv:2010.00341). The data and code in this repository was produced during a research collaboration of NEC Labs Europe and University of Duisburg-Essen.

Citing in Academic Work

For citing these results in academic work please use the following bibtex entry:

@inproceedings{evmpatch,
  title     = "{EVMPatch}: Timely and Automated Patching of Ethereum Smart Contracts",
  author    = "Rodler, Michael and Li, Wenting and Karame, Ghassan and Davi, Lucas",
  booktitle    = "30th {USENIX} Security Symposium ({USENIX} Security '21) [To be published]",
  year         = "2021",
}

Repository Structure

  • ./CVE-comparison/ - the 5 contracts with known CVEs and attacks, which we patched (1) manually with SafeMath and (2) automatically with EVMPatch.
  • ./CVEs-tx-reexec-analysis/ - the results of our analysis of replaying all transactions of the 5 contracts mentioned above.
  • ./gas-cost-comparison-to-safemath/
    • some experiments on gas cost increase when using EVMPatch or SafeMath to patch contracts.
  • ./large-scale - contains the results of our large-scale evaluation on ~14k contracts, out of which ~8k have transactions. These contracts are all from the full Osiris dataset. Note that this data is stored compressed in git lfs

About

Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"


Languages

Language:Solidity 95.5%Language:Shell 2.8%Language:Python 1.5%Language:Makefile 0.2%