SAFEVM: a safety verifier for Ethereum smart contracts
| dc.conference.title | ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis | |
| dc.contributor.author | Albert Albiol, Elvira María | |
| dc.contributor.author | Correas, Jesús | |
| dc.contributor.author | Gordillo Alguacil, Pablo | |
| dc.contributor.author | Román-Díez, Guillermo | |
| dc.contributor.author | Rubio, Albert | |
| dc.date.accessioned | 2024-01-30T11:59:55Z | |
| dc.date.available | 2024-01-30T11:59:55Z | |
| dc.date.issued | 2019 | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.identifier.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 | |
| dc.identifier.doi | 10.1145/3293882.3338999 | |
| dc.identifier.isbn | 978-1-4503-6224-5 | |
| dc.identifier.officialurl | https://doi.org/10.1145/3293882.3338999 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/96453 | |
| dc.language.iso | eng | |
| dc.page.final | 389 | |
| dc.page.initial | 386 | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | en |
| dc.rights.accessRights | restricted access | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | SAFEVM: a safety verifier for Ethereum smart contracts | |
| dc.type | conference paper | |
| dc.type.hasVersion | VoR | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 1b41e88a-837f-414a-af5d-9105b5c0e7c5 | |
| relation.isAuthorOfPublication | 5c47e6f8-de26-4311-b340-ac4b1b1e5594 | |
| relation.isAuthorOfPublication.latestForDiscovery | 5c47e6f8-de26-4311-b340-ac4b1b1e5594 |
Download
Original bundle
1 - 1 of 1