Smart contracts are programs that automatically enforce some kind of agreement between parties, without the need of a trusted third party. Since they frequently deal with large sums of money (in the form of crypto assets) it is critical that smart contracts attain precisely to their specification and do not have any unexpected behaviour. In this thesis, I will present two lines of research, one related to developing smart contract languages for the UTXO blockchain model, and the other related to the formalization of MEV attacks.
Formal Aspects of Smart Contract Security
Marchesin, Riccardo
2026
Abstract
Smart contracts are programs that automatically enforce some kind of agreement between parties, without the need of a trusted third party. Since they frequently deal with large sums of money (in the form of crypto assets) it is critical that smart contracts attain precisely to their specification and do not have any unexpected behaviour. In this thesis, I will present two lines of research, one related to developing smart contract languages for the UTXO blockchain model, and the other related to the formalization of MEV attacks.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
tesi.pdf
accesso aperto
Licenza:
Creative Commons
Dimensione
1.53 MB
Formato
Adobe PDF
|
1.53 MB | Adobe PDF | Visualizza/Apri |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14242/376839
Il codice NBN di questa tesi è
URN:NBN:IT:UNITN-376839