Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287181552> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4287181552 abstract "Speculative vulnerabilities such as Spectre and Meltdown expose speculative execution state that can be exploited to leak information across security domains via side-channels. Such vulnerabilities often stay undetected for a long time as we lack the tools for systematic testing of CPUs to find them. In this paper, we propose an approach to automatically detect microarchitectural information leakage in commercial black-box CPUs. We build on speculation contracts, which we employ to specify the permitted side effects of program execution on the CPU's microarchitectural state. We propose a Model-based Relational Testing (MRT) technique to empirically assess the CPU compliance with these specifications. We implement MRT in a testing framework called Revizor, and showcase its effectiveness on real Intel x86 CPUs. Revizor automatically detects violations of a rich set of contracts, or indicates their absence. A highlight of our findings is that Revizor managed to automatically surface Spectre, MDS, and LVI, as well as several previously unknown variants." @default.
- W4287181552 created "2022-07-25" @default.
- W4287181552 creator A5002184063 @default.
- W4287181552 creator A5022593894 @default.
- W4287181552 creator A5029523970 @default.
- W4287181552 creator A5085729110 @default.
- W4287181552 date "2021-05-14" @default.
- W4287181552 modified "2023-09-28" @default.
- W4287181552 title "Revizor: Testing Black-box CPUs against Speculation Contracts" @default.
- W4287181552 doi "https://doi.org/10.48550/arxiv.2105.06872" @default.
- W4287181552 hasPublicationYear "2021" @default.
- W4287181552 type Work @default.
- W4287181552 citedByCount "0" @default.
- W4287181552 crossrefType "posted-content" @default.
- W4287181552 hasAuthorship W4287181552A5002184063 @default.
- W4287181552 hasAuthorship W4287181552A5022593894 @default.
- W4287181552 hasAuthorship W4287181552A5029523970 @default.
- W4287181552 hasAuthorship W4287181552A5085729110 @default.
- W4287181552 hasBestOaLocation W42871815521 @default.
- W4287181552 hasConcept C10138342 @default.
- W4287181552 hasConcept C111919701 @default.
- W4287181552 hasConcept C139719470 @default.
- W4287181552 hasConcept C141331961 @default.
- W4287181552 hasConcept C149635348 @default.
- W4287181552 hasConcept C154945302 @default.
- W4287181552 hasConcept C162324750 @default.
- W4287181552 hasConcept C170723468 @default.
- W4287181552 hasConcept C177264268 @default.
- W4287181552 hasConcept C199360897 @default.
- W4287181552 hasConcept C2777042071 @default.
- W4287181552 hasConcept C2777904410 @default.
- W4287181552 hasConcept C2779201187 @default.
- W4287181552 hasConcept C38652104 @default.
- W4287181552 hasConcept C41008148 @default.
- W4287181552 hasConcept C47941915 @default.
- W4287181552 hasConcept C48103436 @default.
- W4287181552 hasConcept C94966114 @default.
- W4287181552 hasConceptScore W4287181552C10138342 @default.
- W4287181552 hasConceptScore W4287181552C111919701 @default.
- W4287181552 hasConceptScore W4287181552C139719470 @default.
- W4287181552 hasConceptScore W4287181552C141331961 @default.
- W4287181552 hasConceptScore W4287181552C149635348 @default.
- W4287181552 hasConceptScore W4287181552C154945302 @default.
- W4287181552 hasConceptScore W4287181552C162324750 @default.
- W4287181552 hasConceptScore W4287181552C170723468 @default.
- W4287181552 hasConceptScore W4287181552C177264268 @default.
- W4287181552 hasConceptScore W4287181552C199360897 @default.
- W4287181552 hasConceptScore W4287181552C2777042071 @default.
- W4287181552 hasConceptScore W4287181552C2777904410 @default.
- W4287181552 hasConceptScore W4287181552C2779201187 @default.
- W4287181552 hasConceptScore W4287181552C38652104 @default.
- W4287181552 hasConceptScore W4287181552C41008148 @default.
- W4287181552 hasConceptScore W4287181552C47941915 @default.
- W4287181552 hasConceptScore W4287181552C48103436 @default.
- W4287181552 hasConceptScore W4287181552C94966114 @default.
- W4287181552 hasLocation W42871815521 @default.
- W4287181552 hasOpenAccess W4287181552 @default.
- W4287181552 hasPrimaryLocation W42871815521 @default.
- W4287181552 hasRelatedWork W11345677 @default.
- W4287181552 hasRelatedWork W12159493 @default.
- W4287181552 hasRelatedWork W13544880 @default.
- W4287181552 hasRelatedWork W1841664 @default.
- W4287181552 hasRelatedWork W2363194 @default.
- W4287181552 hasRelatedWork W2468232 @default.
- W4287181552 hasRelatedWork W5173919 @default.
- W4287181552 hasRelatedWork W7577146 @default.
- W4287181552 hasRelatedWork W7601610 @default.
- W4287181552 hasRelatedWork W911753 @default.
- W4287181552 isParatext "false" @default.
- W4287181552 isRetracted "false" @default.
- W4287181552 workType "article" @default.