Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts

Simple item page
dc.conference.titleInternational Joint Conference on Automated Reasoning 2022
dc.contributor.authorAlbert Albiol, Elvira María
dc.contributor.authorGordillo Alguacil, Pablo
dc.contributor.authorHernández-Cerezo, Alejandro
dc.contributor.authorRodríguez-Núñez, Clara
dc.contributor.authorRubio, Albert
dc.date.accessioned2024-01-30T15:53:41Z
dc.date.available2024-01-30T15:53:41Z
dc.date.issued2022-08-01
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statuspub
dc.identifier.doi10.1007/978-3-031-10769-6_1
dc.identifier.isbn9783031107689
dc.identifier.isbn9783031107696
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.officialurlhttps://link.springer.com/chapter/10.1007/978-3-031-10769-6_1
dc.identifier.urihttps://hdl.handle.net/20.500.14352/96669
dc.language.isoeng
dc.page.final7
dc.page.initial3
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internationalen
dc.rights.accessRightsopen access
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.ucmInformática (Informática)
dc.subject.unesco1203.17 Informática
dc.titleUsing Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
dc.typeconference paper
dc.type.hasVersionVoR
dspace.entity.typePublication
relation.isAuthorOfPublication1b41e88a-837f-414a-af5d-9105b5c0e7c5
relation.isAuthorOfPublication5c47e6f8-de26-4311-b340-ac4b1b1e5594
relation.isAuthorOfPublication.latestForDiscovery5c47e6f8-de26-4311-b340-ac4b1b1e5594

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
978-3-031-10769-6_1.pdf
Size:
228.34 KB
Format:
Adobe Portable Document Format
Download Download

Collections

Artículos