Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- Gasper: Struttura e Proprietà del protocollo di consenso Proof of Stake di Ethereum.
- Implementazione di un'interfaccia grafica per la scrittura di contratti legali nel linguaggio Stipula
- Rollup Ottimistici e di Validità: Confronto e Analisi tra Optimism e StarkNet
- Smart contracts per acquisto e gestione di assicurazioni sanitarie
- Tracciabilità dell'impatto ambientale di catene produttive mediante sistemi blockchain
Tesi di Laurea Magistrale
- An Analysis of the Ethereum Proof of Stake Protocol
- analisi di contratti legali in stipula
- Un prototipo per lo scheduling di funzioni basato su analisi di costo in piattaforme serverless
Tesi di Dottorato
- A formal analysis of blockchain consensus
