<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Precise Static Modeling of Ethereum "Memory" (artifact)

descriptionPublicationkeyboard_double_arrow_right Article 30 Sep 2020 English Publisher:Zenodo

Authors: Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis;

doi: 10.5281/zenodo.4059796 , 10.5281/zenodo.4059797

Precise Static Modeling of Ethereum "Memory" (artifact)

- Summary
- Subjects

Abstract

This is the artifact for the paper: Precise Static Modeling of Ethereum "Memory", Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis. In Proceedings of the ACM in Programming Languages (OOPSLA) 2020 For more details, see file README.md.

Related Organizations

National and Kapodistrian University of Athens
Greece

Keywords

static analysis, ethereum, EVM

Found an issue? Give us feedback

Fields of Science

engineering and technology

electrical engineering, electronic engineering, information engineering

Fields of Science

engineering and technology

electrical engineering, electronic engineering, information engineering