Detection of vulnerabilities in smart contracts specifications in ethereum platforms

Ethereum 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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Argañaraz, Mauro (author)
Outros Autores: Berón, Mario (author), Pereira, Maria João (author), Henriques, Pedro Rangel (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2020
Assuntos:
Texto completo:http://hdl.handle.net/10198/22794
País:Portugal
Oai:oai:bibliotecadigital.ipb.pt:10198/22794