Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313287740> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4313287740 endingPage "4201" @default.
- W4313287740 startingPage "4201" @default.
- W4313287740 abstract "Virtualization plays an essential role in providing security to computational systems by isolating execution environments. Many software solutions, called hypervisors, have been proposed to provide virtualization capabilities. However, only a few were designed for being deployed at the edge of the network in devices with fewer computation resources when compared with servers in the Cloud. Among the few lightweight software that can play the hypervisor role, seL4 stands out by providing a small Trusted Computing Base and formally verified components, enhancing its security. Despite today being more than a decade with seL4 microkernel technology, its existing userland and tools are still scarce and not very mature. Over the last few years, the main effort has been to increase the maturity of the kernel itself, and not the tools and applications that can be hosted on top. Therefore, it currently lacks proper support for a full-featured userland Virtual Machine Monitor, and the existing one is quite fragmented. This article discusses the potential directions to a standard VMM by presenting our view of design principles and the feature set needed. This article does not intend to define a standard VMM, we intend to instigate this discussion through the seL4 community." @default.
- W4313287740 created "2023-01-06" @default.
- W4313287740 creator A5049251780 @default.
- W4313287740 creator A5087687853 @default.
- W4313287740 date "2022-12-16" @default.
- W4313287740 modified "2023-10-14" @default.
- W4313287740 title "seL4 Microkernel for Virtualization Use-Cases: Potential Directions towards a Standard VMM" @default.
- W4313287740 cites W1759583974 @default.
- W4313287740 cites W1968205029 @default.
- W4313287740 cites W1970131138 @default.
- W4313287740 cites W1971739358 @default.
- W4313287740 cites W2019731328 @default.
- W4313287740 cites W2051242358 @default.
- W4313287740 cites W2080016794 @default.
- W4313287740 cites W2117590013 @default.
- W4313287740 cites W2134955305 @default.
- W4313287740 cites W2136290019 @default.
- W4313287740 cites W2144838723 @default.
- W4313287740 cites W2149886445 @default.
- W4313287740 cites W2150210903 @default.
- W4313287740 cites W2163117779 @default.
- W4313287740 cites W2165581146 @default.
- W4313287740 cites W2483097313 @default.
- W4313287740 cites W2532817307 @default.
- W4313287740 cites W2766643895 @default.
- W4313287740 cites W2796999085 @default.
- W4313287740 cites W2891818413 @default.
- W4313287740 cites W2913096406 @default.
- W4313287740 cites W2926643494 @default.
- W4313287740 cites W2933160410 @default.
- W4313287740 cites W2945553619 @default.
- W4313287740 cites W3003251750 @default.
- W4313287740 cites W3010700826 @default.
- W4313287740 cites W3037488722 @default.
- W4313287740 cites W3119126442 @default.
- W4313287740 cites W3138993025 @default.
- W4313287740 cites W3188312523 @default.
- W4313287740 cites W3207793573 @default.
- W4313287740 cites W4200395680 @default.
- W4313287740 cites W4233955931 @default.
- W4313287740 cites W4244704438 @default.
- W4313287740 cites W4254641500 @default.
- W4313287740 cites W4284702560 @default.
- W4313287740 cites W4288083139 @default.
- W4313287740 cites W4312856311 @default.
- W4313287740 cites W959975051 @default.
- W4313287740 doi "https://doi.org/10.3390/electronics11244201" @default.
- W4313287740 hasPublicationYear "2022" @default.
- W4313287740 type Work @default.
- W4313287740 citedByCount "0" @default.
- W4313287740 crossrefType "journal-article" @default.
- W4313287740 hasAuthorship W4313287740A5049251780 @default.
- W4313287740 hasAuthorship W4313287740A5087687853 @default.
- W4313287740 hasBestOaLocation W43132877401 @default.
- W4313287740 hasConcept C111919701 @default.
- W4313287740 hasConcept C112904061 @default.
- W4313287740 hasConcept C147346212 @default.
- W4313287740 hasConcept C149635348 @default.
- W4313287740 hasConcept C184842701 @default.
- W4313287740 hasConcept C25344961 @default.
- W4313287740 hasConcept C2777127024 @default.
- W4313287740 hasConcept C38652104 @default.
- W4313287740 hasConcept C41008148 @default.
- W4313287740 hasConcept C513985346 @default.
- W4313287740 hasConcept C79974875 @default.
- W4313287740 hasConceptScore W4313287740C111919701 @default.
- W4313287740 hasConceptScore W4313287740C112904061 @default.
- W4313287740 hasConceptScore W4313287740C147346212 @default.
- W4313287740 hasConceptScore W4313287740C149635348 @default.
- W4313287740 hasConceptScore W4313287740C184842701 @default.
- W4313287740 hasConceptScore W4313287740C25344961 @default.
- W4313287740 hasConceptScore W4313287740C2777127024 @default.
- W4313287740 hasConceptScore W4313287740C38652104 @default.
- W4313287740 hasConceptScore W4313287740C41008148 @default.
- W4313287740 hasConceptScore W4313287740C513985346 @default.
- W4313287740 hasConceptScore W4313287740C79974875 @default.
- W4313287740 hasIssue "24" @default.
- W4313287740 hasLocation W43132877401 @default.
- W4313287740 hasLocation W43132877402 @default.
- W4313287740 hasLocation W43132877403 @default.
- W4313287740 hasOpenAccess W4313287740 @default.
- W4313287740 hasPrimaryLocation W43132877401 @default.
- W4313287740 hasRelatedWork W1589284876 @default.
- W4313287740 hasRelatedWork W2034880514 @default.
- W4313287740 hasRelatedWork W2112715807 @default.
- W4313287740 hasRelatedWork W2295390884 @default.
- W4313287740 hasRelatedWork W2344456595 @default.
- W4313287740 hasRelatedWork W2495160385 @default.
- W4313287740 hasRelatedWork W2535368334 @default.
- W4313287740 hasRelatedWork W3034714351 @default.
- W4313287740 hasRelatedWork W4304730659 @default.
- W4313287740 hasRelatedWork W4313287740 @default.
- W4313287740 hasVolume "11" @default.
- W4313287740 isParatext "false" @default.
- W4313287740 isRetracted "false" @default.
- W4313287740 workType "article" @default.