Salvatore Manfredi 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