Matches in SemOpenAlex for { <https://semopenalex.org/work/W3092493782> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3092493782 abstract "Transient execution attacks, such as Spectre and Meltdown, create a new and serious attack surface in modern processors. In spite of all countermeasures taken during recent years, the cycles of alarm and patch are ongoing and call for a better formal understanding of the threat and possible preventions.This paper introduces a formal definition of security with respect to transient execution attacks, formulated as a HW property. We present a formal method for security verification by HW property checking based on extending Unique Program Execution Checking (UPEC) to out-of-order processors. UPEC can be used to systematically detect all vulnerabilities to transient execution attacks, including vulnerabilities unknown so far. The feasibility of our approach is demonstrated at the example of the BOOM processor, which is a design with more than 650,000 state bits. In BOOM our approach detects a new, so far unknown vulnerability, called Spectre-STC, indicating that also single-threaded processors can be vulnerable to contention-based Spectre attacks." @default.
- W3092493782 created "2020-10-15" @default.
- W3092493782 creator A5027184441 @default.
- W3092493782 creator A5036312663 @default.
- W3092493782 creator A5047920654 @default.
- W3092493782 creator A5056116323 @default.
- W3092493782 creator A5066184879 @default.
- W3092493782 creator A5068173183 @default.
- W3092493782 date "2020-07-01" @default.
- W3092493782 modified "2023-09-26" @default.
- W3092493782 title "A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors" @default.
- W3092493782 cites W2024977521 @default.
- W3092493782 cites W2133996557 @default.
- W3092493782 cites W2610653992 @default.
- W3092493782 cites W2896496024 @default.
- W3092493782 cites W2938066316 @default.
- W3092493782 cites W2954241526 @default.
- W3092493782 cites W2963311060 @default.
- W3092493782 cites W2963739369 @default.
- W3092493782 cites W2971539790 @default.
- W3092493782 cites W2977528721 @default.
- W3092493782 cites W2979633637 @default.
- W3092493782 cites W2979849111 @default.
- W3092493782 cites W3015465581 @default.
- W3092493782 cites W3100164250 @default.
- W3092493782 doi "https://doi.org/10.1109/dac18072.2020.9218572" @default.
- W3092493782 hasPublicationYear "2020" @default.
- W3092493782 type Work @default.
- W3092493782 sameAs 3092493782 @default.
- W3092493782 citedByCount "12" @default.
- W3092493782 countsByYear W30924937822021 @default.
- W3092493782 countsByYear W30924937822022 @default.
- W3092493782 countsByYear W30924937822023 @default.
- W3092493782 crossrefType "proceedings-article" @default.
- W3092493782 hasAuthorship W3092493782A5027184441 @default.
- W3092493782 hasAuthorship W3092493782A5036312663 @default.
- W3092493782 hasAuthorship W3092493782A5047920654 @default.
- W3092493782 hasAuthorship W3092493782A5056116323 @default.
- W3092493782 hasAuthorship W3092493782A5066184879 @default.
- W3092493782 hasAuthorship W3092493782A5068173183 @default.
- W3092493782 hasConcept C110251889 @default.
- W3092493782 hasConcept C111472728 @default.
- W3092493782 hasConcept C111498074 @default.
- W3092493782 hasConcept C127413603 @default.
- W3092493782 hasConcept C138885662 @default.
- W3092493782 hasConcept C141441539 @default.
- W3092493782 hasConcept C149635348 @default.
- W3092493782 hasConcept C189950617 @default.
- W3092493782 hasConcept C199360897 @default.
- W3092493782 hasConcept C2780799671 @default.
- W3092493782 hasConcept C38652104 @default.
- W3092493782 hasConcept C41008148 @default.
- W3092493782 hasConcept C48103436 @default.
- W3092493782 hasConcept C75606506 @default.
- W3092493782 hasConcept C87717796 @default.
- W3092493782 hasConcept C95713431 @default.
- W3092493782 hasConceptScore W3092493782C110251889 @default.
- W3092493782 hasConceptScore W3092493782C111472728 @default.
- W3092493782 hasConceptScore W3092493782C111498074 @default.
- W3092493782 hasConceptScore W3092493782C127413603 @default.
- W3092493782 hasConceptScore W3092493782C138885662 @default.
- W3092493782 hasConceptScore W3092493782C141441539 @default.
- W3092493782 hasConceptScore W3092493782C149635348 @default.
- W3092493782 hasConceptScore W3092493782C189950617 @default.
- W3092493782 hasConceptScore W3092493782C199360897 @default.
- W3092493782 hasConceptScore W3092493782C2780799671 @default.
- W3092493782 hasConceptScore W3092493782C38652104 @default.
- W3092493782 hasConceptScore W3092493782C41008148 @default.
- W3092493782 hasConceptScore W3092493782C48103436 @default.
- W3092493782 hasConceptScore W3092493782C75606506 @default.
- W3092493782 hasConceptScore W3092493782C87717796 @default.
- W3092493782 hasConceptScore W3092493782C95713431 @default.
- W3092493782 hasLocation W30924937821 @default.
- W3092493782 hasOpenAccess W3092493782 @default.
- W3092493782 hasPrimaryLocation W30924937821 @default.
- W3092493782 hasRelatedWork W1548926438 @default.
- W3092493782 hasRelatedWork W178421615 @default.
- W3092493782 hasRelatedWork W1972616446 @default.
- W3092493782 hasRelatedWork W1996360727 @default.
- W3092493782 hasRelatedWork W2021724238 @default.
- W3092493782 hasRelatedWork W2132431510 @default.
- W3092493782 hasRelatedWork W2149391410 @default.
- W3092493782 hasRelatedWork W2370841479 @default.
- W3092493782 hasRelatedWork W38902447 @default.
- W3092493782 hasRelatedWork W4205837443 @default.
- W3092493782 isParatext "false" @default.
- W3092493782 isRetracted "false" @default.
- W3092493782 magId "3092493782" @default.
- W3092493782 workType "article" @default.