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 - 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 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) - 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)