Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300979053> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4300979053 abstract "Hardware enclaves rely on a disjoint memory model, which maps each physical address to an enclave to achieve strong memory isolation. However, this severely limits the performance and programmability of enclave programs. While some prior work proposes enclave memory sharing, it does not provide a formal model or verification of their designs. This paper presents Cerberus, a formal approach to secure and efficient enclave memory sharing. To reduce the burden of formal verification, we compare different sharing models and choose a simple yet powerful sharing model. Based on the sharing model, Cerberus extends an enclave platform such that enclave memory can be made immutable and shareable across multiple enclaves via additional operations. We use incremental verification starting with an existing formal model called the Trusted Abstract Platform (TAP). Using our extended TAP model, we formally verify that Cerberus does not break or weaken the security guarantees of the enclaves despite allowing memory sharing. More specifically, we prove the Secure Remote Execution (SRE) property on our formal model. Finally, the paper shows the feasibility of Cerberus by implementing it in an existing enclave platform, RISC-V Keystone." @default.
- W4300979053 created "2022-10-04" @default.
- W4300979053 creator A5019426968 @default.
- W4300979053 creator A5035134864 @default.
- W4300979053 creator A5054019445 @default.
- W4300979053 creator A5055333962 @default.
- W4300979053 creator A5056156349 @default.
- W4300979053 creator A5064230639 @default.
- W4300979053 creator A5070365933 @default.
- W4300979053 creator A5075689567 @default.
- W4300979053 creator A5090620720 @default.
- W4300979053 creator A5090819544 @default.
- W4300979053 date "2022-11-07" @default.
- W4300979053 modified "2023-10-14" @default.
- W4300979053 title "Cerberus" @default.
- W4300979053 cites W1480909796 @default.
- W4300979053 cites W1516018459 @default.
- W4300979053 cites W1967182706 @default.
- W4300979053 cites W2079029390 @default.
- W4300979053 cites W2123858370 @default.
- W4300979053 cites W2126823808 @default.
- W4300979053 cites W2130427425 @default.
- W4300979053 cites W2136310957 @default.
- W4300979053 cites W2150620897 @default.
- W4300979053 cites W2163671349 @default.
- W4300979053 cites W2195119025 @default.
- W4300979053 cites W2594560662 @default.
- W4300979053 cites W2604789199 @default.
- W4300979053 cites W2607063282 @default.
- W4300979053 cites W2625154275 @default.
- W4300979053 cites W2762625979 @default.
- W4300979053 cites W2766770638 @default.
- W4300979053 cites W2788385473 @default.
- W4300979053 cites W2908027808 @default.
- W4300979053 cites W2954241526 @default.
- W4300979053 cites W2963311060 @default.
- W4300979053 cites W2971539790 @default.
- W4300979053 cites W2974073952 @default.
- W4300979053 cites W2982848142 @default.
- W4300979053 cites W3021475380 @default.
- W4300979053 cites W3105175523 @default.
- W4300979053 cites W3159422333 @default.
- W4300979053 cites W3170733732 @default.
- W4300979053 cites W3191918078 @default.
- W4300979053 cites W4206536947 @default.
- W4300979053 cites W4225922019 @default.
- W4300979053 doi "https://doi.org/10.1145/3548606.3560595" @default.
- W4300979053 hasPublicationYear "2022" @default.
- W4300979053 type Work @default.
- W4300979053 citedByCount "0" @default.
- W4300979053 crossrefType "proceedings-article" @default.
- W4300979053 hasAuthorship W4300979053A5019426968 @default.
- W4300979053 hasAuthorship W4300979053A5035134864 @default.
- W4300979053 hasAuthorship W4300979053A5054019445 @default.
- W4300979053 hasAuthorship W4300979053A5055333962 @default.
- W4300979053 hasAuthorship W4300979053A5056156349 @default.
- W4300979053 hasAuthorship W4300979053A5064230639 @default.
- W4300979053 hasAuthorship W4300979053A5070365933 @default.
- W4300979053 hasAuthorship W4300979053A5075689567 @default.
- W4300979053 hasAuthorship W4300979053A5090620720 @default.
- W4300979053 hasAuthorship W4300979053A5090819544 @default.
- W4300979053 hasBestOaLocation W43009790531 @default.
- W4300979053 hasConcept C111498074 @default.
- W4300979053 hasConcept C114614502 @default.
- W4300979053 hasConcept C120314980 @default.
- W4300979053 hasConcept C199360897 @default.
- W4300979053 hasConcept C2775941552 @default.
- W4300979053 hasConcept C33923547 @default.
- W4300979053 hasConcept C41008148 @default.
- W4300979053 hasConcept C45340560 @default.
- W4300979053 hasConcept C86803240 @default.
- W4300979053 hasConcept C89423630 @default.
- W4300979053 hasConceptScore W4300979053C111498074 @default.
- W4300979053 hasConceptScore W4300979053C114614502 @default.
- W4300979053 hasConceptScore W4300979053C120314980 @default.
- W4300979053 hasConceptScore W4300979053C199360897 @default.
- W4300979053 hasConceptScore W4300979053C2775941552 @default.
- W4300979053 hasConceptScore W4300979053C33923547 @default.
- W4300979053 hasConceptScore W4300979053C41008148 @default.
- W4300979053 hasConceptScore W4300979053C45340560 @default.
- W4300979053 hasConceptScore W4300979053C86803240 @default.
- W4300979053 hasConceptScore W4300979053C89423630 @default.
- W4300979053 hasLocation W43009790531 @default.
- W4300979053 hasLocation W43009790532 @default.
- W4300979053 hasOpenAccess W4300979053 @default.
- W4300979053 hasPrimaryLocation W43009790531 @default.
- W4300979053 hasRelatedWork W1485627940 @default.
- W4300979053 hasRelatedWork W1596201972 @default.
- W4300979053 hasRelatedWork W1598943142 @default.
- W4300979053 hasRelatedWork W1986253068 @default.
- W4300979053 hasRelatedWork W2152433827 @default.
- W4300979053 hasRelatedWork W2160425906 @default.
- W4300979053 hasRelatedWork W2348852432 @default.
- W4300979053 hasRelatedWork W2385146268 @default.
- W4300979053 hasRelatedWork W2899486387 @default.
- W4300979053 hasRelatedWork W4313054100 @default.
- W4300979053 isParatext "false" @default.
- W4300979053 isRetracted "false" @default.
- W4300979053 workType "article" @default.