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.
Titolo: | Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification |
Autori: | |
Data di pubblicazione: | 2019 |
Rivista: | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.3390/electronics8091057 |
Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
electronics-08-01057.pdf | 2a Post-print versione editoriale / Version of Record | ![]() | Visibile a tuttiVisualizza/Apri |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11583/2753232
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.