A

Amadori, Maurizio (2025) Sviluppo di un Sistema di Annotazione Automatica per Governare l'Allocazione di Funzioni TypeScript Serverless. [Laurea], Università di Bologna, Corso di Studio in Informatica per il management [L-DM270]

B

Barbieri, Diego (2025) A Study on Applications of Homomorphic Encryption in Privacy-Preserving Protocols. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Benassi Trenta, Alessandro Maria (2025) Rilevazione di Ransomware attraverso Leaky Bucket. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Bertoni, Marco (2025) Mechanized Type-Based Enforcement of Non-Interference in Choreographic Languages. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Betti, Gabriel (2025) Scalabilità di piattaforme di monitoraggio per infrastrutture informatiche complesse, centralizzazione e orchestrazione. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Bianco, Michele (2025) Intelligenza artificiale e sviluppo software: generazione automatizzata e contestualizzata del codice. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.

S

Sami, Pietro (2025) Watermarking techniques applied to Data Flooding against Ransomware. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Silvestri, Daniele (2025) Da CCS a Java: un Framework per l’Analisi di Sistemi per la Concorrenza. [Laurea], Università di Bologna, Corso di Studio in Informatica per il management [L-DM270], Documento ad accesso riservato.

T

Tomaiuolo, Alessandro (2025) Un’Analisi del Design di un Linguaggio Coreografico per Architetture Serverless. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]