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: zip

Tesi e tirocini Triennale e Magiatrale disponibili sui seguenti argomenti

  • Steganografia di rete e suo rilevamento.
  • Anomaly detection e classificazione di flussi di pacchetti di rete che riguardano attacchi attraverso lo studui di file pcap e tecniche di Machine Learning
  • Malware detection attraverso l'applicazione di tecniche di Machine Learning su codice.
  • Predizione del prezzo di critpovalute attraverso analisi statistica e/o Machine Learning.
  • Definizione e implementazione di un workflow di notarizzazione in Blockchain con Hyperledger Fabric.
  • 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.
  • 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.
  • 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.

Francesco Santini