marco.zuppelli@edu.unige.it Marco Zuppelli Dottorando Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS Sezione interscuola di scienze matematiche, fisiche e naturali del DIBRIS Dottorato: INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING Orientamento: SECURE AND RELIABLE SYSTEMS Coordinatore: Giorgio Delzanno XXXV CICLO