Logo do repositório
 
Publicação

Detection of vulnerabilities in smart contracts specifications in ethereum platforms

2020Comunicação em conferência Acesso aberto
Ver registo simples
dc.contributor.authorArgañaraz, Mauro
dc.contributor.authorBerón, Mario
dc.contributor.authorPereira, Maria João
dc.contributor.authorHenriques, Pedro Rangel
dc.date.accessioned2020-10-09T11:19:16Z
dc.date.available2020-10-09T11:19:16Z
dc.date.issued2020
dc.description.abstractEthereum is the principal ecosystem based on blockchain that provides a suitable environment for coding and executing smart contracts, which have been receiving great attention due to the commercial apps and among the scientific community. The process of writing secure and well performing contracts in the Ethereum platform is a major challenge for developers. It consists of the application of non-conventional programming paradigms due to the inherent characteristics of the execution of distributed computing programs. Furthermore, the errors in the deployed contracts could have serious consequences because of the immediate linkage between the contract code and the financial transactions. The direct handling of the assets means that the errors can be more relevant for security and have greater economic consequences than a mistake in the conventional apps. In this paper, we propose a tool for the detection of vulnerabilities in high-level languages based on automatized static analysis.pt_PT
dc.description.sponsorshipThis work has been supported by FCT – Fundação para a Ciência e Tecnologia within the Project Scope: UIDB/05757/2020.
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationArgañaraz, Mauro; Berón, Mario; Pereira, Maria João; Henriques, Pedro (2020). Detection of vulnerabilities in smart contracts specifications in ethereum platforms. In 9th Symposium on Languages, Applications and Technologies (SLATE 2020). Virtual, Online. Portugalpt_PT
dc.identifier.doi10.4230/OASIcs.SLATE.2020.0pt_PT
dc.identifier.isbn978-3-95977-165-8
dc.identifier.issn1868-8969
dc.identifier.urihttp://hdl.handle.net/10198/22794
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatikpt_PT
dc.relationResearch Centre in Digitalization and Intelligent Robotics
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/pt_PT
dc.subjectBlockchainpt_PT
dc.subjectEthereumpt_PT
dc.subjectSmart contractpt_PT
dc.subjectSoliditypt_PT
dc.subjectStatic analysispt_PT
dc.subjectVerificationpt_PT
dc.titleDetection of vulnerabilities in smart contracts specifications in ethereum platformspt_PT
dc.typeconference paper
dspace.entity.typePublication
oaire.awardTitleResearch Centre in Digitalization and Intelligent Robotics
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F05757%2F2020/PT
oaire.citation.conferencePlaceVirtual, Online. Portugalpt_PT
oaire.citation.endPage16pt_PT
oaire.citation.startPage1pt_PT
oaire.citation.title9th Symposium on Languages, Applications and Technologies (SLATE 2020)pt_PT
oaire.citation.volume83pt_PT
oaire.fundingStream6817 - DCRRNI ID
person.familyNamePereira
person.givenNameMaria João
person.identifier.ciencia-idC912-4A49-A3B3
person.identifier.orcid0000-0001-6323-0071
person.identifier.ridG-5999-2011
person.identifier.scopus-author-id13907870300
project.funder.identifierhttp://doi.org/10.13039/501100001871
project.funder.nameFundação para a Ciência e a Tecnologia
rcaap.rightsopenAccesspt_PT
rcaap.typeconferenceObjectpt_PT
relation.isAuthorOfPublicationa20ccfa6-4e84-4c25-ab0d-8d6ba196ffc2
relation.isAuthorOfPublication.latestForDiscoverya20ccfa6-4e84-4c25-ab0d-8d6ba196ffc2
relation.isProjectOfPublication6e01ddc8-6a82-4131-bca6-84789fa234bd
relation.isProjectOfPublication.latestForDiscovery6e01ddc8-6a82-4131-bca6-84789fa234bd

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura
Nome:
OASIcs-SLATE-2020-2.pdf
Tamanho:
500.36 KB
Formato:
Adobe Portable Document Format
Ver/Abrir

Coleções

ESTiG - Publicações em Proceedings Indexadas à WoS/Scopus