FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2039881954> ?p ?o ?g. }

• W2039881954 abstract "Virtualization platforms allow multiple operating systems to run on the same hardware. One of their central goal is to provide strong isolation between guest operating systems, unfortunately, they are often vulnerable to practical side-channel attacks. Cache attacks are a common class of side-channel attacks that use the cache as a side channel. We formalize an idealized model of virtualization that features the cache and the Translation Look aside Buffer (TLB), and that provides an abstract treatment of cache-based side-channels. We then use the model for reasoning about cache-based attacks and countermeasures, and for proving that isolation between guest operating systems can be enforced by flushing the cache upon context switch. In addition, we show that virtualized platforms are transparent, i.e. a guest operating system cannot distinguish whether it executes alone or together with other guest operating systems on the platform. The models and proofs have been machine-checked in the Coqproof assistant." @default.
• W2039881954 created "2016-06-24" @default.
• W2039881954 creator A5001520311 @default.
• W2039881954 creator A5003957275 @default.
• W2039881954 creator A5015166077 @default.
• W2039881954 creator A5025524567 @default.
• W2039881954 date "2012-06-01" @default.
• W2039881954 modified "2023-10-17" @default.
• W2039881954 title "Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization" @default.
• W2039881954 cites W147129824 @default.
• W2039881954 cites W1977764760 @default.
• W2039881954 cites W1983599193 @default.
• W2039881954 cites W1997775274 @default.
• W2039881954 cites W2019404692 @default.
• W2039881954 cites W2076409494 @default.
• W2039881954 cites W2080914957 @default.
• W2039881954 cites W2083355374 @default.
• W2039881954 cites W2085355422 @default.
• W2039881954 cites W2091161634 @default.
• W2039881954 cites W2103289002 @default.
• W2039881954 cites W2104622601 @default.
• W2039881954 cites W2116236474 @default.
• W2039881954 cites W2117181435 @default.
• W2039881954 cites W2118341398 @default.
• W2039881954 cites W2119028650 @default.
• W2039881954 cites W2119966192 @default.
• W2039881954 cites W2121001711 @default.
• W2039881954 cites W2122049982 @default.
• W2039881954 cites W2128423558 @default.
• W2039881954 cites W2131195907 @default.
• W2039881954 cites W2133701468 @default.
• W2039881954 cites W2141729404 @default.
• W2039881954 cites W2144838723 @default.
• W2039881954 cites W2149517094 @default.
• W2039881954 cites W2150401476 @default.
• W2039881954 cites W2151071112 @default.
• W2039881954 cites W2162283517 @default.
• W2039881954 cites W2166293920 @default.
• W2039881954 cites W2172060328 @default.
• W2039881954 cites W2341327722 @default.
• W2039881954 cites W2978916538 @default.
• W2039881954 cites W4236991443 @default.
• W2039881954 cites W4243947286 @default.
• W2039881954 cites W4248931912 @default.
• W2039881954 cites W4250728693 @default.
• W2039881954 cites W51058944 @default.
• W2039881954 cites W1606623283 @default.
• W2039881954 doi "https://doi.org/10.1109/csf.2012.17" @default.
• W2039881954 hasPublicationYear "2012" @default.
• W2039881954 type Work @default.
• W2039881954 sameAs 2039881954 @default.
• W2039881954 citedByCount "30" @default.
• W2039881954 countsByYear W20398819542013 @default.
• W2039881954 countsByYear W20398819542014 @default.
• W2039881954 countsByYear W20398819542015 @default.
• W2039881954 countsByYear W20398819542016 @default.
• W2039881954 countsByYear W20398819542017 @default.
• W2039881954 countsByYear W20398819542018 @default.
• W2039881954 countsByYear W20398819542019 @default.
• W2039881954 countsByYear W20398819542020 @default.
• W2039881954 countsByYear W20398819542022 @default.
• W2039881954 countsByYear W20398819542023 @default.
• W2039881954 crossrefType "proceedings-article" @default.
• W2039881954 hasAuthorship W2039881954A5001520311 @default.
• W2039881954 hasAuthorship W2039881954A5003957275 @default.
• W2039881954 hasAuthorship W2039881954A5015166077 @default.
• W2039881954 hasAuthorship W2039881954A5025524567 @default.
• W2039881954 hasConcept C111919701 @default.
• W2039881954 hasConcept C113166858 @default.
• W2039881954 hasConcept C115537543 @default.
• W2039881954 hasConcept C116007543 @default.
• W2039881954 hasConcept C136085584 @default.
• W2039881954 hasConcept C149635348 @default.
• W2039881954 hasConcept C167713795 @default.
• W2039881954 hasConcept C189783530 @default.
• W2039881954 hasConcept C201148951 @default.
• W2039881954 hasConcept C25536678 @default.
• W2039881954 hasConcept C2775941552 @default.
• W2039881954 hasConcept C36340418 @default.
• W2039881954 hasConcept C38556500 @default.
• W2039881954 hasConcept C41008148 @default.
• W2039881954 hasConcept C41036726 @default.
• W2039881954 hasConcept C47878483 @default.
• W2039881954 hasConcept C513985346 @default.
• W2039881954 hasConcept C79974875 @default.
• W2039881954 hasConcept C86803240 @default.
• W2039881954 hasConcept C89423630 @default.
• W2039881954 hasConceptScore W2039881954C111919701 @default.
• W2039881954 hasConceptScore W2039881954C113166858 @default.
• W2039881954 hasConceptScore W2039881954C115537543 @default.
• W2039881954 hasConceptScore W2039881954C116007543 @default.
• W2039881954 hasConceptScore W2039881954C136085584 @default.
• W2039881954 hasConceptScore W2039881954C149635348 @default.
• W2039881954 hasConceptScore W2039881954C167713795 @default.
• W2039881954 hasConceptScore W2039881954C189783530 @default.
• W2039881954 hasConceptScore W2039881954C201148951 @default.
• W2039881954 hasConceptScore W2039881954C25536678 @default.
• W2039881954 hasConceptScore W2039881954C2775941552 @default.
• W2039881954 hasConceptScore W2039881954C36340418 @default.
• W2039881954 hasConceptScore W2039881954C38556500 @default.

• next