Blockchain on Franco Sainashttps://fsainas.github.io/tags/blockchain/Recent content in Blockchain on Franco SainasHugoen-usThu, 29 Jan 2026 00:00:00 +0000Franco Sainas | Personal Webpagehttps://fsainas.github.io/Sun, 25 Feb 2024 00:00:00 +0000https://fsainas.github.io/Franco Sainas About 🦇 Hello! 👋 I am an average blockchain and privacy enjoyer. I’m also a MSc student in Cyber Security at EPFL. In 2023 I earned my Bachelor’s degree in Computer Science from the University of Cagliari, where I graduated summa cum laude. Publications 📜 [FMBC 2024] Towards benchmarking of Solidity verification tools M. Bartoletti, F. Fioravanti, G. Matricardi, R. Pettinau, F. Sainas Projects 🛠️ Observant: Open Benchmark for Solidity Verification Tools Let’s connect 🔗 Email -> franco [at] sainas [dot] me Github -> github.