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, R.. - (2026 Jul 20).
Formal Aspects of Smart Contract Security
Marchesin, Riccardo
2026-07-20
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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
