Dottorato in Ingegneria Informatica E Dei Sistemi , 32o ciclo (2016-2019)
Dottorato concluso nel 2020
Tesi:
Cyber-security for embedded systems: methodologies, techniques and tools (Abstract)
Tutori:
Gianpiero CabodiDidattica
Insegnamenti
Corso di laurea magistrale
- Specification and simulation of digital systems. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Specification and simulation of digital systems. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Specification and simulation of digital systems. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Corso di laurea di 1° livello
- Algorithms and Programming. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Algorithms and Programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Algorithms and Programming. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Algoritmi e programmazione. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso
- Algoritmi e programmazione. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso
- Algoritmi e programmazione. A.A. 2018/19, INGEGNERIA INFORMATICA. Collaboratore del corso
- Algoritmi e programmazione. A.A. 2018/19, INGEGNERIA INFORMATICA. Collaboratore del corso
Pubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- Finocchiaro, SEBASTIANO FABRIZIO (2020)
Cyber-security for embedded systems: methodologies, techniques and tools. relatore: CABODI, Gianpiero; , 32. XXXII Ciclo, P.: 164
Doctoral Thesis - Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo (2019)
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification. In: ELECTRONICS, vol. 8. ISSN 2079-9292
Contributo su Rivista