Davide BONAVENTURA
PhD Student
PhD in Computer Science - Ciclo 41°Tutor: Giampaolo BELLA
Master’s Degree in Computer Science, University of Catania, 2023.
- Thesis: Architectural design for a lift-and-shift migration from on-premise to IaaS and subsequent evolutions to SaaS.
- Grade: 110/110 cum laude.
Bachelor’s Degree in Computer Science, University of Catania, 2021.
- Thesis: Securing the IoT Ecosystem: A Vulnerability Assessment and Penetration Testing Study on multiple IoT devices.
- Grade: 110/110 cum laude.
My primary interest lies in cybersecurity, with a specific focus on vulnerability research within software applications and IoT devices. My research is centered on the application of formal methods for the rigorous modeling and verification of security protocols.
VIEW THE PUBLICATIONS
N.B. the number of publications can affect the loading time of the information