Engineering of computing systems at Politecnico di Milano, with external coursework at UniMi and Sapienza. Research interests in cryptography, theoretical computer science, and formal methods.
Open-source implementation of Scafuro & Zhang's one-time traceable ring signatures (ESORICS 2021) over Ristretto255 + RFC 9380, wrapped in two interchangeable storage architectures — a federated bulletin board and a Bitcoin-shaped PoW chain — with a 16-page comparison paper.
Supervised research at Politecnico di Milano with Prof. Matteo Pradella. Topic under definition; area: programming-language theory and formal verification.
Build dashboards, flash firmware and control hardware from iOS and Android over a binary TCP/SSL protocol. Eight board families, MQTT broker, and Home Assistant integration. iOS app live on the App Store since Dec 2025 — 200+ active users.
PHP/MySQL platform with Niccolò Pagano replacing paper snack-vouchers at Istituto Leone XIII with QR-authenticated redemption. Three surfaces, deployed whole-school.