Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289785210> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4289785210 abstract "Spectre attacks enable an attacker to access restricted data in an application's memory. Both the academic community and industry veterans have developed several mitigations to block Spectre attacks, but to date, very few have been formally vetted; most are best effort strategies. Formal guarantees are particularly crucial for protecting isolated environments like sandboxing against Spectre attacks. In such environments, a subtle flaw in the mitigation would allow untrusted code to break out of the sandbox and access trusted memory regions. In our work, we develop principled foundations to build isolated environments resistant against Spectre attacks. We propose a formal framework for reasoning about sandbox execution and Spectre attacks. We formalize properties that sound mitigation strategies must fulfill and we show how various existing mitigations satisfy (or fail to satisfy!) these properties." @default.
- W4289785210 created "2022-08-04" @default.
- W4289785210 creator A5044735957 @default.
- W4289785210 creator A5065850135 @default.
- W4289785210 creator A5069694679 @default.
- W4289785210 creator A5072406383 @default.
- W4289785210 creator A5082723061 @default.
- W4289785210 date "2022-08-02" @default.
- W4289785210 modified "2023-09-24" @default.
- W4289785210 title "A Turning Point for Verified Spectre Sandboxing" @default.
- W4289785210 doi "https://doi.org/10.48550/arxiv.2208.01548" @default.
- W4289785210 hasPublicationYear "2022" @default.
- W4289785210 type Work @default.
- W4289785210 citedByCount "0" @default.
- W4289785210 crossrefType "posted-content" @default.
- W4289785210 hasAuthorship W4289785210A5044735957 @default.
- W4289785210 hasAuthorship W4289785210A5065850135 @default.
- W4289785210 hasAuthorship W4289785210A5069694679 @default.
- W4289785210 hasAuthorship W4289785210A5072406383 @default.
- W4289785210 hasAuthorship W4289785210A5082723061 @default.
- W4289785210 hasBestOaLocation W42897852101 @default.
- W4289785210 hasConcept C111919701 @default.
- W4289785210 hasConcept C167981075 @default.
- W4289785210 hasConcept C177264268 @default.
- W4289785210 hasConcept C199360897 @default.
- W4289785210 hasConcept C2524010 @default.
- W4289785210 hasConcept C2776760102 @default.
- W4289785210 hasConcept C2777210771 @default.
- W4289785210 hasConcept C28719098 @default.
- W4289785210 hasConcept C33923547 @default.
- W4289785210 hasConcept C38652104 @default.
- W4289785210 hasConcept C41008148 @default.
- W4289785210 hasConceptScore W4289785210C111919701 @default.
- W4289785210 hasConceptScore W4289785210C167981075 @default.
- W4289785210 hasConceptScore W4289785210C177264268 @default.
- W4289785210 hasConceptScore W4289785210C199360897 @default.
- W4289785210 hasConceptScore W4289785210C2524010 @default.
- W4289785210 hasConceptScore W4289785210C2776760102 @default.
- W4289785210 hasConceptScore W4289785210C2777210771 @default.
- W4289785210 hasConceptScore W4289785210C28719098 @default.
- W4289785210 hasConceptScore W4289785210C33923547 @default.
- W4289785210 hasConceptScore W4289785210C38652104 @default.
- W4289785210 hasConceptScore W4289785210C41008148 @default.
- W4289785210 hasLocation W42897852101 @default.
- W4289785210 hasOpenAccess W4289785210 @default.
- W4289785210 hasPrimaryLocation W42897852101 @default.
- W4289785210 hasRelatedWork W12728939 @default.
- W4289785210 hasRelatedWork W1468325 @default.
- W4289785210 hasRelatedWork W3922552 @default.
- W4289785210 hasRelatedWork W3932603 @default.
- W4289785210 hasRelatedWork W510999 @default.
- W4289785210 hasRelatedWork W6247978 @default.
- W4289785210 hasRelatedWork W628729 @default.
- W4289785210 hasRelatedWork W7391737 @default.
- W4289785210 hasRelatedWork W8752188 @default.
- W4289785210 hasRelatedWork W9501014 @default.
- W4289785210 isParatext "false" @default.
- W4289785210 isRetracted "false" @default.
- W4289785210 workType "article" @default.