Published April 24, 2020 | Version 0.1
Software Open

Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities

  • 1. ICSI / University of Sydney
  • 2. University of Athens
  • 3. University of Sydney

Description

Artifact for the paper:

Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities

Lexi Brent, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis

In 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020.

Files

Files (2.8 GB)

Name Size Download all
md5:71a42c328e2453f9540671d87c5c60d9
2.8 GB Download

Additional details

Funding

European Commission
PARSe – Program Analysis and Reorganization, as a Service 790340
Australian Research Council
Discovery Projects - Grant ID: DP180104030 DP180104030