FRINK Linked Data Fragments server

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

• W2586267117 abstract "Isolated Execution Environments (IEEs), such as ARM TrustZone and Intel SGX, offer the possibility to execute sensitive code in isolation from other malicious programs, running on the same machine, or a potentially corrupted OS. A key feature of IEEs is the ability to produce reports binding cryptographically a message to the program that produced it, typically ensuring that this message is the result of the given program running on an IEE. We present a symbolic model for specifying and verifying applications that make use of such features. For this we introduce the SℓAPiC process calculus, that allows to reason about reports issued at given locations. We also provide tool support, extending the SAPiC/Tamarin toolchain and demonstrate the applicability of our framework on several examples implementing secure outsourced computation (SOC), a secure licensing protocol and a one-time password protocol that all rely on such IEEs." @default.
• W2586267117 created "2017-02-17" @default.
• W2586267117 creator A5057561034 @default.
• W2586267117 creator A5085316790 @default.
• W2586267117 creator A5089727197 @default.
• W2586267117 date "2017-04-01" @default.
• W2586267117 modified "2023-09-26" @default.
• W2586267117 title "Symbolic Models for Isolated Execution Environments" @default.
• W2586267117 cites W1603878273 @default.
• W2586267117 cites W1605932874 @default.
• W2586267117 cites W1982655683 @default.
• W2586267117 cites W1990892358 @default.
• W2586267117 cites W2039875296 @default.
• W2586267117 cites W2061637199 @default.
• W2586267117 cites W2077836579 @default.
• W2586267117 cites W2093460657 @default.
• W2586267117 cites W2100683351 @default.
• W2586267117 cites W2147201643 @default.
• W2586267117 cites W2296362039 @default.
• W2586267117 cites W2416938811 @default.
• W2586267117 cites W2477375676 @default.
• W2586267117 cites W2510217173 @default.
• W2586267117 cites W2586267117 @default.
• W2586267117 doi "https://doi.org/10.1109/eurosp.2017.16" @default.
• W2586267117 hasPublicationYear "2017" @default.
• W2586267117 type Work @default.
• W2586267117 sameAs 2586267117 @default.
• W2586267117 citedByCount "5" @default.
• W2586267117 countsByYear W25862671172017 @default.
• W2586267117 countsByYear W25862671172020 @default.
• W2586267117 countsByYear W25862671172022 @default.
• W2586267117 countsByYear W25862671172023 @default.
• W2586267117 crossrefType "proceedings-article" @default.
• W2586267117 hasAuthorship W2586267117A5057561034 @default.
• W2586267117 hasAuthorship W2586267117A5085316790 @default.
• W2586267117 hasAuthorship W2586267117A5089727197 @default.
• W2586267117 hasBestOaLocation W25862671172 @default.
• W2586267117 hasConcept C109297577 @default.
• W2586267117 hasConcept C111919701 @default.
• W2586267117 hasConcept C120314980 @default.
• W2586267117 hasConcept C138885662 @default.
• W2586267117 hasConcept C142724271 @default.
• W2586267117 hasConcept C161771561 @default.
• W2586267117 hasConcept C177264268 @default.
• W2586267117 hasConcept C199360897 @default.
• W2586267117 hasConcept C204787440 @default.
• W2586267117 hasConcept C26517878 @default.
• W2586267117 hasConcept C2775941552 @default.
• W2586267117 hasConcept C2776401178 @default.
• W2586267117 hasConcept C2776760102 @default.
• W2586267117 hasConcept C2777062904 @default.
• W2586267117 hasConcept C2777904410 @default.
• W2586267117 hasConcept C2779639559 @default.
• W2586267117 hasConcept C2780385302 @default.
• W2586267117 hasConcept C41008148 @default.
• W2586267117 hasConcept C41895202 @default.
• W2586267117 hasConcept C71924100 @default.
• W2586267117 hasConcept C86803240 @default.
• W2586267117 hasConcept C89423630 @default.
• W2586267117 hasConcept C98045186 @default.
• W2586267117 hasConceptScore W2586267117C109297577 @default.
• W2586267117 hasConceptScore W2586267117C111919701 @default.
• W2586267117 hasConceptScore W2586267117C120314980 @default.
• W2586267117 hasConceptScore W2586267117C138885662 @default.
• W2586267117 hasConceptScore W2586267117C142724271 @default.
• W2586267117 hasConceptScore W2586267117C161771561 @default.
• W2586267117 hasConceptScore W2586267117C177264268 @default.
• W2586267117 hasConceptScore W2586267117C199360897 @default.
• W2586267117 hasConceptScore W2586267117C204787440 @default.
• W2586267117 hasConceptScore W2586267117C26517878 @default.
• W2586267117 hasConceptScore W2586267117C2775941552 @default.
• W2586267117 hasConceptScore W2586267117C2776401178 @default.
• W2586267117 hasConceptScore W2586267117C2776760102 @default.
• W2586267117 hasConceptScore W2586267117C2777062904 @default.
• W2586267117 hasConceptScore W2586267117C2777904410 @default.
• W2586267117 hasConceptScore W2586267117C2779639559 @default.
• W2586267117 hasConceptScore W2586267117C2780385302 @default.
• W2586267117 hasConceptScore W2586267117C41008148 @default.
• W2586267117 hasConceptScore W2586267117C41895202 @default.
• W2586267117 hasConceptScore W2586267117C71924100 @default.
• W2586267117 hasConceptScore W2586267117C86803240 @default.
• W2586267117 hasConceptScore W2586267117C89423630 @default.
• W2586267117 hasConceptScore W2586267117C98045186 @default.
• W2586267117 hasLocation W25862671171 @default.
• W2586267117 hasLocation W25862671172 @default.
• W2586267117 hasLocation W25862671173 @default.
• W2586267117 hasOpenAccess W2586267117 @default.
• W2586267117 hasPrimaryLocation W25862671171 @default.
• W2586267117 hasRelatedWork W2083338789 @default.
• W2586267117 hasRelatedWork W2137908418 @default.
• W2586267117 hasRelatedWork W2384847609 @default.
• W2586267117 hasRelatedWork W2586267117 @default.
• W2586267117 hasRelatedWork W2780323212 @default.
• W2586267117 hasRelatedWork W2899100898 @default.
• W2586267117 hasRelatedWork W4225919726 @default.
• W2586267117 hasRelatedWork W4232884709 @default.
• W2586267117 hasRelatedWork W4323570488 @default.
• W2586267117 hasRelatedWork W4353109681 @default.
• W2586267117 isParatext "false" @default.
• W2586267117 isRetracted "false" @default.

• next