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
  • arxiv.org/abs/2402.10750 (Preprint)

Projects 🛠️

• Observant: Open Benchmark for Solidity Verification Tools

Let’s connect 🔗

• Email -> franco@sainas.me
• Github -> github.com/fsainas
• LinkedIn -> linkedin.com/in/franco-sainas