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@sainas.me
- Github -> github.com/fsainas
- LinkedIn -> linkedin.com/in/franco-sainas