Michele Massetti
Security Analysis Tools for Solidity Smart Contracts: A Comparison Based on Real-World Exploits.
Rel. Valentina Gatteschi. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2022
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: 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
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Corso di laurea
Classe di laurea
Ente in cotutela
Aziende collaboratrici
URI
![]() |
Modifica (riservato agli operatori) |
