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 Dottorato
- A formal analysis of blockchain consensus
