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), p. 1057. [10.3390/electronics8091057]
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
Cabodi, Gianpiero;Camurati, Paolo;Finocchiaro, Fabrizio;Vendraminetto, Danilo
2019
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
electronics-08-01057.pdf
accesso aperto
Tipologia:
2a Post-print versione editoriale / Version of Record
Licenza:
Creative commons
Dimensione
321.38 kB
Formato
Adobe PDF
|
321.38 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11583/2753232
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo