Archivio Istituzionale della RicercaFINOCCHIARO, SEBASTIANO FABRIZIO
FINOCCHIARO, SEBASTIANO FABRIZIO
Dipartimento di Automatica e Informatica
037585
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
2019 Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo
Scalable FPGA Graph model to detect routing faults
2016 Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Du, Boyang
Secure Embedded Architectures: Taint Properties Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
Secure Path Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification / Cabodi, G., Camurati, P., Finocchiaro, F., Vendraminetto, D.. - STAMPA. - 11445:(2019), pp. 462-479. (Codes, Cryptology and Information Security Rabat, Morocco April 22-24, 2019) [10.1007/978-3-030-16458-4_27]. | 1-gen-2019 | Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo | c2si19.pdf; 978-3-030-16458-4_27.pdf |
| Scalable FPGA Graph model to detect routing faults / Sterpone, L., Cabodi, G., Finocchiaro, S.F., Loiacono, C., Savarese, F., Du, B.. - ELETTRONICO. - (2016). (IEEE International Symposium on On-Line Testing and Robust System Design ) [10.1109/IOLTS.2016.7604690]. | 1-gen-2016 | STERPONE, LUCACABODI, GianpieroFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCODU, BOYANG | - |
| Secure Embedded Architectures: Taint Properties Verification / Cabodi, G., Camurati, P.E., Finocchiaro, S.F., Loiacono, C., Savarese, F., Vendraminetto, D.. - ELETTRONICO. - (2016). (International Conference on Development and Application Systems ) [10.1109/DAAS.2016.7492565]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
| Secure Path Verification / Cabodi, G., Camurati, P.E., Finocchiaro, S.F., Loiacono, C., Savarese, F., Vendraminetto, D.. - ELETTRONICO. - (2016). (IEEE International Verification and Security Workshop ) [10.1109/IVSW.2016.7566608]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |