Michele Massetti
Security Analysis Tools for Solidity Smart Contracts: A Comparison Based on Real-World Exploits.
Rel. Valentina Gatteschi. Politecnico di Torino, Master of science program in Computer Engineering, 2022
|
Preview |
PDF (Tesi_di_laurea)
- Thesis
Licence: Creative Commons Attribution Non-commercial No Derivatives. Download (1MB) | Preview |
Abstract
A blockchain is essentially a digital ledger of transactions that is duplicated and distributed across the entire network of computer systems on the blockchain. Blockchains can implement cryptocurrency systems, because of their ability to maintain a secure and decentralized record of transactions. This technology guarantees fidelity and security of a record of data and generates trust without the need for a trusted third party. Ethereum is a blockchain considered a "smart contract platform" because it was one of the first blockchains allowing their development. Smart contracts are programs which are self-verifying programs running on top of the blockchain. Those are public, distributed and immutable, consequently, developers cannot design security by layers, such as a Firewall or a virtual private network.
For these reason, the detection of any potential weaknesses before the deployment turns into a challenge
Relators
Academic year
Publication type
Number of Pages
Course of studies
Classe di laurea
Ente in cotutela
Aziende collaboratrici
URI
![]() |
Modify record (reserved for operators) |
