Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

SAFEVM: a safety verifier for Ethereum smart contracts

Thumbnail Image

Download

SAFEVM.pdf (725.28 KB)

Official URL

https://doi.org/10.1145/3293882.3338999

Full text at PDC

Publication date

2019

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/96453

Citation

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. 2019. SAFEVM: a safety verifier for Ethereum smart contracts. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019). Association for Computing Machinery, New York, NY, USA, 386–389. https://doi.org/10.1145/3293882.3338999

Abstract

Research Projects

Organizational Units

Journal Issue

Description

UCM subjects

Informática (Informática)

Unesco subjects

1203.17 Informática

Keywords

Collections

Artículos