FINOCCHIARO, SEBASTIANO FABRIZIO

FINOCCHIARO, SEBASTIANO FABRIZIO  

Dipartimento di Automatica e Informatica  

037585  

Mostra records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Citazione Data di pubblicazione Autori File
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification / Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo. - In: ELECTRONICS. - ISSN 2079-9292. - 8:9(2019). [10.3390/electronics8091057] 1-gen-2019 Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo electronics-08-01057.pdf
Embedded Systems Secure Path Verification at the HW/SW Interface / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo. - In: IEEE DESIGN & TEST. - ISSN 2168-2356. - STAMPA. - 34:5(2017), pp. 38-46. [10.1109/MDAT.2017.2713393] 1-gen-2017 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO 07944703.pdf