Ph.D. in Ingegneria Informatica E Dei Sistemi , 32nd cycle (2016-2019)
Ph.D. obtained in 2020
Dissertation:
Cyber-security for embedded systems: methodologies, techniques and tools (Abstract)
Tutors:
Gianpiero CabodiTeaching
Teachings
Master of Science
- 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
Bachelor of Science
- 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
Publications
Works published during the Ph.D. View all publications in 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