Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- 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
Second cycle degree programmes dissertations
- 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
PhD programmes thesis
- A formal analysis of blockchain consensus
