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 - 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: Codes, Cryptology and Information Security, Rabat, Morocco, April 22-24, 2019, pp. 462-479. ISBN: 978-3-030-16457-7
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, ... (2017)
Embedded Systems Secure Path Verification at the HW/SW Interface. In: IEEE DESIGN & TEST, vol. 34, pp. 38-46. ISSN 2168-2356
Contributo su Rivista - Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, ... (2016)
Secure Path Verification. In: IEEE International Verification and Security Workshop. ISBN: 978-1-5090-1141-4
Contributo in Atti di Convegno (Proceeding) - Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; ... (2016)
Scalable FPGA Graph model to detect routing faults. In: IEEE International Symposium on On-Line Testing and Robust System Design
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, ... (2016)
Secure Embedded Architectures: Taint Properties Verification. In: International Conference on Development and Application Systems. ISBN: 978-1-5090-1993-9
Contributo in Atti di Convegno (Proceeding)