Progetti

In questa pagina, elenco una serie di progetti che ho realizzato disponibili nel mio profilo Github. Le tecnologie che spesso utilizzo includono linguaggi di programmazione efficienti (come Rust), librerie di terze parti, decompilatori (come Binary Ninja). La lista dei progetti include diverse tematiche tra cui offuscamento, reverse engineering, decompilazione, protezione del software, analisi dei malware, dettagli di basso livello e in generale sicurezza del software. Tutti i progetti sono stati sviluppati durante il tempo libero.

Appunti di Software Security

Appunti del corso Software Security, anno accademico 2023/2024 del corso magistrale in scienze e ingegneria informatica presso l'Università degli Studi di Verona.

IPA: Interactive PDF Analysis

Software GUI per l'analisi approfondita dei file PDF. Realizzato con Rust ed egui.

MicroSCOPE - analizzatore per ransomware

Software a linea di comando che applica euristiche per scoprire se un determinato programma in input è simile ad un ransomware.

Obfuscation Analysis: A BinaryNinja plugin

Un plugin per BinaryNinja al fine di analizzare e semplificare codice offuscato come Mixed Boolean Arithmetic.

OSLab

Documentazione in HTML per il corso di Sistemi Operativi, parte laboratoriale, A.A. 2021/2022.

Pocket - Mixed Boolean Arithmetic

Offuscatore di espressioni tramite la tecnica MBA (Mixed-Boolean Arithmetic).

ptxNinja: decompilazione per PTX (CUDA)

Decompilazione per PTX, un linguaggio low-level virtuale per architetture CUDA