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

Full description

Bibliographic Details
Main Author: Argañaraz, Mauro (author)
Other Authors: Berón, Mario (author), Pereira, Maria João (author), Henriques, Pedro Rangel (author)
Format: conferenceObject
Language:eng
Published: 2020
Subjects:
Blockchain
Ethereum
Smart contract
Solidity
Static analysis
Verification
Online Access:http://hdl.handle.net/10198/22794
Country:Portugal
Oai:oai:bibliotecadigital.ipb.pt:10198/22794

Internet

http://hdl.handle.net/10198/22794

Similar Items