DA LEGGERE ATTENTAMENTE
- Linee guida per intraprendere un progetto di tesi sulle attività del Knowledge Representation and Automated Reasoning Lab e il Cybersecurity Research Lab UniPG pdf
- Breve guida per la stesura della tesi e della sua presentazione: pdf
Un possibile stile Latex da utilizzare per la tesi - ATTENZIONE lo stile è in Inglese, se la tesi è in italiano va adattato: zip
Tesi e tirocini Triennale e Magistrale disponibili sui seguenti argomenti
- Steganografia di rete e suo rilevamento (storage e timing channel).
- Malware detection attraverso l'applicazione di tecniche di Machine Learning su codice.
- Sviluppo e test di Honeypot a vari livelli (in primis HTTP).
- Allenamento e valutazione di modelli Yolo su auto da corsa e moto
- Riconoscimento numero gara su auto e moto da corsa in C#
- Sviluppo e test di algoritmi di tracking per auto/moto in C# (Sort, DeepSort, etc)
- Implementazione e valutazione di un algoritmo di Simulated Annealing per risolvere problemi su grafi
- etc.
Di seguito alcuni esempi di tesi passate già assegnate e svolte da studenti.
Alcune passate tesi sperimentali assegnate (Triennale in Informatica)
- Implementazione di un plugin per il sistema di gestione di secrets Valut.
- Implementazioen di un protocollo di staganografia di rete robusto basato su TCP/IP e Windows
- Studio, analisi, progettazione e implementazione di un laboratorio per assessment e validation di scanner per vulnerabilità Web.
- Applicazioen di modelli di Machine/Deep learning per sentiment analysis su recensioni di hotel.
- Analisi di log di attacco collezionati con un Honeypot ICS/SCADA.
- Topic Modeling e Analisi del testo con Gensim.
- Un modello basato su agenti per lo studio della propagazione del Sars-CoV-2.
- Anomaly detection e classificazione di flussi di pacchetti di rete che riguardano attacchi attraverso lo studui di file pcap e tecniche di Machine Learning
- Implementazione di un tool per individuazione di plagio tra più progetti software scritti in C, utilizzando le librerie Moss.
- Studio di HoneyPot per IoT a partire da IoTPot.
- Studio e sviluppo di un sistema di controllo ad accessi per IoT con blockchain Sawtooth/Iroha.
- Reingegnerizzazione di un database per l'analisi di transazioni Bitcoin (MIT Graphulo/Accumulo).
- Un sistema di e-voting basato su Tornado Cash.
- Previsione dell’andamento di prezzo del Bitcoin utilizzando l’Apprendimento Automatico.
- Un Sistema di Regole NLP per la Segmentazione Avanzata di Testo in Frasi.
Alcune passate tesi compilative assegnate (Triennale in Informatica)
- Creare ChatBot con Wit.ai.
- Rassegna su Digital Whistleblowing Platforms.
- ZenRoom, una macchina virtuale per la criptografia.
- Maltego.
- Car Hacking + visualizzatore di messaggi CAN Bus.
- Zero Trust Networks.
- Forensics imaging: copie disco a fini di indagine.
- Funzionamento di malware di tipo Ransomware.
- PHP hardening su server Microsoft/Linux.
- Algoritmi e librerie di Sentiment Analysis.
- La criptovaluta di Facebook, Libra.
- Analisi e confronto di sistemi di monitoraggio di rete.
- Studio e analisi dello stack Elastic per l’implementazione di un SIEM.
- Algoritmi di consenso (Proof-of-Work/Stake, etc.).
- Funzionamento criptovalute privacy-oriented (e.g., Monero e Zcoin).
- La Teoria del Voto e le Forme di Difesa dalla Manipolazione Strategica.
- NFT: tecnologie di base, lo standard ERC-721 ed applicazioni pratiche.
Alcuni passati tirocini interni assegnati (Triennale in Informatica)
- Cuckoo e analisi di malware.
- Un'applicazione mobile per il check di trust di indirizzi Bitcoin prima del pagamento.
- Blockchain Algorand, istallazione e funzionamento.
- Studio e sviluppo di un emulatore pdp8 per Windows.
- Implementazione di servizi AWS.
- Implementazione di un chatbot Wit.ai per l'orario dei corsi della laurea triennale in informatica.
- Un database per rappresentare transazioni multi cripto-currency (Bitcoin e Ethereum).
Alcune passate tesi magistrali assegnate (Magistrale in Informatica)
- Indagine sulla sicurezza delle applicazioni web e progettazione di un Intrusion Detection System per Magento.
- Analisi di sicurezza delle piattaforme Docker e Kubernetes.
- Predizione del prezzo di critpovalute attraverso analisi statistica e/o Machine Learning.
- Un’interpretazione argomentativa delle risposte calcolate dagli algoritmi di Machine Learning.
- Un framework integrato per la valutazione della sicurezza delle applicazioni Web.
- LOGistICS: Un sistema di emulazione e monitoraggio a media interazione per Operational Technology.
- Verifica di Software per Sistemi Embedded attraverso tecniche di Model Checking.