Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- Erasure codes per Data Flooding Against Ransomware
- Formalisation and Static Analysis for the Serverless Choreographic Programming Language FaaSChal
- Gestione dell'allocazione di funzioni serverless in Go tramite lo sviluppo di un sistema di annotazione automatica
- Integrazione di Software-Defined Networking e
Infrastructure as Code per la Sicurezza delle
Infrastrutture: Analisi e Casi di Studio
- Native Operators for the Efficient Query of Jolie Tree-like Values
- Progettazione e Validazione di Tecniche per Generazione di File Casuali Verosimili per Data Flooding against Ransomware
- Scalabilità di piattaforme di monitoraggio per infrastrutture informatiche complesse, centralizzazione e orchestrazione
- Strategie per l'Efficienza Energetica in Hardware Commodity Clusters
- Studio di Policy Basate su Obiettivi di Livello di Servizio per la Transizione Dinamica tra Serverless e Microservizi
- Sviluppo di un Sistema di Annotazione Automatica per Governare l'Allocazione di Funzioni TypeScript Serverless
Tesi di Laurea Magistrale
- Analisi delle Reti Sociali Animali per il Benessere e la Conservazione delle Specie
- Mechanized Type-Based Enforcement of Non-Interference in Choreographic Languages
- Network Analysis in Religious Studies: Practices, Limits, and Prospects
