Journal article Open Access

Precise Static Modeling of Ethereum "Memory" (artifact)

Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis

BibTeX Export

@misc{sifis_lagouvardos_2020_4059797,
  author       = {Sifis Lagouvardos and
                  Neville Grech and
                  Ilias Tsatiris and
                  Yannis Smaragdakis},
  title        = {{Precise Static Modeling of Ethereum "Memory" 
                   (artifact)}},
  month        = sep,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {1.0},
  doi          = {10.5281/zenodo.4059797},
  url          = {https://doi.org/10.5281/zenodo.4059797}
}
304
95
views
downloads
All versions This version
Views 304304
Downloads 9595
Data volume 30.6 GB30.6 GB
Unique views 281281
Unique downloads 6565
More info on how stats are collected.
Indexed in
Publication date:
September 30, 2020
DOI:
10.5281/zenodo.4059797

Zenodo DOI Badge

DOI 

10.5281/zenodo.4059797

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4059797.svg)](https://doi.org/10.5281/zenodo.4059797)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4059797.svg
   :target: https://doi.org/10.5281/zenodo.4059797

HTML 

<a href="https://doi.org/10.5281/zenodo.4059797"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4059797.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4059797.svg

Target URL 

https://doi.org/10.5281/zenodo.4059797

Keyword(s):
ethereum EVM static analysis
Meeting:
Proceedings of the ACM on Programming Languages (OOPSLA)
License (for files):
BSD licenses (New and Simplified)

Versions

Version 1.0 10.5281/zenodo.4059797 Sep 30, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4059796. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export