Planned intervention: On Thursday March 28th 07:00 UTC Zenodo will be unavailable for up to 5 minutes to perform a database upgrade.
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

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