Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- A Formal Exploration of Pure Reactive Programming: Extending Karcharias with Statefulness and Dynamic Deployments
- Analisi delle Tecniche di Cifratura nei Ransomware rispetto alla Disponibilità di Memoria Secondaria
- Design e Sviluppo di un
Framework Scalabile e Isolato
per l’Indagine Automatizzata sui
Ransomware
- Elm in Practice: Features and Trade-Offs of a Functional Language for the Web
- JFN: A unifying platform for microservice and serverless deployments
- Plugin Kubernetes per ottimizzare la preemption
- Property-based Testing per la Programmazione Orientata ai Servizi
- Rilevazione di Ransomware attraverso Leaky Bucket
- rust-cc: un cycle collector per programmi scritti nel linguaggio Rust
- Scheduling optimization in Kubernetes
- Shamir’s Secret Sharing and Ranflood: a Flooding Strategy against Crypto and Exfiltration Ransomware
- Sviluppo di un Web-client per Ranflood: Accessibilità, Controllo e Automazione
- Un’Analisi del Design di un Linguaggio Coreografico per Architetture Serverless
- Watermarking techniques applied to Data Flooding against Ransomware
Tesi di Laurea Magistrale
- A Framework for Measuring and Improving Social Inclusion with Network Science
- Confronto e valutazione di piattaforme low-code/no-code
tramite lo sviluppo di un’applicazione per il riconoscimento
documentale
- Intelligenza artificiale e sviluppo software: generazione automatizzata e contestualizzata del codice
- Large Language Models for Education
- Modern Yoga Applications. Analysing teaching narratives through semantic networks
- Social Network Analysis per studiare le Fake News: revisione sistematica e analisi delle misure di rete
- Sviluppo di un Framework DevOps per la Gestione di Applicativi Cloud Serverless
- Un Framework per la Visualizzazione Multi-livello di Studi di Inclusione Sociale tramite Rilevamento IoT e Network Analysis