Massimiliano Baldo
PhD Student at IMT Lucca
About Me
I am a PhD student in the National Ph.D. Programme in Cybersecurity at IMT Alti Studi Lucca. I am supervised by Professor Marino Miculan and affiliated with the Department of Mathematics, Computer Science and Physics (DMIF) at the University of Udine. My research focuses on strengthening the cybersecurity of distributed systems through the application of rigorous mathematical models and formal verification methods. As society becomes increasingly reliant on IT/OT systems for critical services and everyday life, ensuring the security and privacy of users is paramount. I am committed to addressing this challenge by developing and applying formal methods to guarantee the correctness and integrity of software and system deployments. My goal is to move beyond conventional cybersecurity practices by building a foundation of provably secure systems, thereby enhancing the resilience of our digital infrastructure against evolving threats.
Research interests
Education
- Research fellowship - University of Udine (October 2024 - October 2025)
Title: Behavioral Models of Containers and Security Policy Specification Language
- Master Degree in Computer Science - University of Padua (July 2024)
Thesis: "Migrating WebAssembly components over the Cloud-Edge Continuum"
- Bachelor Degree in Internet of Things, Big Data and Web - University of Udine (October
2021)
Thesis: "Design and Implementation of a Crawler for automatic retrive images"
Latest publications (more)
- From Edge to Cloud: Securing Distributed Containerized Applications
- OWSM: Empowering Rego for Stateful Access Control
- HoneyEVSE: An Honeypot to emulate Electric Vehicle Supply Equipments
Services
- SDIAFest - "Festival della Scienza dei Dati e della Intelligenza Artificale" 2025, Monfalcone
- Festival Collega-menti 2025, Udine