Matches in SemOpenAlex for { <https://semopenalex.org/work/W3024739847> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3024739847 abstract "Abstract We present a mechanism to trustworthy isolate I/O devices with direct memory access (DMA), which ensures that an isolated I/O device cannot access sensitive memory regions. As a demonstrating platform, we use the network interface controller (NIC) of an embedded system. We develop a run-time monitor that forces NIC reconfigurations, defined by untrusted software, to satisfy a security rule. We formalized the NIC in the HOL4 interactive theorem prover and we verified the design of the isolation mechanism. The verification is based on an invariant that is proved to be preserved by all NIC operations and that ensures that all memory accesses address allowed memory regions only. We demonstrate our approach by extending an existing Virtual Machine Introspection (VMI) with the monitor. The resulting platform prevents code injection in a connected and untrusted Linux." @default.
- W3024739847 created "2020-05-21" @default.
- W3024739847 creator A5000650948 @default.
- W3024739847 creator A5084112562 @default.
- W3024739847 date "2020-04-01" @default.
- W3024739847 modified "2023-10-14" @default.
- W3024739847 title "Trustworthy isolation of DMA devices" @default.
- W3024739847 cites W116233955 @default.
- W3024739847 cites W1540575800 @default.
- W3024739847 cites W1554895120 @default.
- W3024739847 cites W1863850585 @default.
- W3024739847 cites W1943070836 @default.
- W3024739847 cites W1975091280 @default.
- W3024739847 cites W2037777200 @default.
- W3024739847 cites W2062025743 @default.
- W3024739847 cites W2073294836 @default.
- W3024739847 cites W2136310957 @default.
- W3024739847 cites W2162671668 @default.
- W3024739847 cites W2182675218 @default.
- W3024739847 cites W2296604071 @default.
- W3024739847 cites W583304954 @default.
- W3024739847 doi "https://doi.org/10.1007/s42786-020-00018-x" @default.
- W3024739847 hasPublicationYear "2020" @default.
- W3024739847 type Work @default.
- W3024739847 sameAs 3024739847 @default.
- W3024739847 citedByCount "0" @default.
- W3024739847 crossrefType "journal-article" @default.
- W3024739847 hasAuthorship W3024739847A5000650948 @default.
- W3024739847 hasAuthorship W3024739847A5084112562 @default.
- W3024739847 hasBestOaLocation W30247398471 @default.
- W3024739847 hasConcept C108710211 @default.
- W3024739847 hasConcept C111919701 @default.
- W3024739847 hasConcept C113843644 @default.
- W3024739847 hasConcept C129307140 @default.
- W3024739847 hasConcept C149635348 @default.
- W3024739847 hasConcept C153701036 @default.
- W3024739847 hasConcept C157915830 @default.
- W3024739847 hasConcept C159718280 @default.
- W3024739847 hasConcept C2524010 @default.
- W3024739847 hasConcept C2775941552 @default.
- W3024739847 hasConcept C2776831232 @default.
- W3024739847 hasConcept C33923547 @default.
- W3024739847 hasConcept C38652104 @default.
- W3024739847 hasConcept C41008148 @default.
- W3024739847 hasConcept C86803240 @default.
- W3024739847 hasConcept C89423630 @default.
- W3024739847 hasConceptScore W3024739847C108710211 @default.
- W3024739847 hasConceptScore W3024739847C111919701 @default.
- W3024739847 hasConceptScore W3024739847C113843644 @default.
- W3024739847 hasConceptScore W3024739847C129307140 @default.
- W3024739847 hasConceptScore W3024739847C149635348 @default.
- W3024739847 hasConceptScore W3024739847C153701036 @default.
- W3024739847 hasConceptScore W3024739847C157915830 @default.
- W3024739847 hasConceptScore W3024739847C159718280 @default.
- W3024739847 hasConceptScore W3024739847C2524010 @default.
- W3024739847 hasConceptScore W3024739847C2775941552 @default.
- W3024739847 hasConceptScore W3024739847C2776831232 @default.
- W3024739847 hasConceptScore W3024739847C33923547 @default.
- W3024739847 hasConceptScore W3024739847C38652104 @default.
- W3024739847 hasConceptScore W3024739847C41008148 @default.
- W3024739847 hasConceptScore W3024739847C86803240 @default.
- W3024739847 hasConceptScore W3024739847C89423630 @default.
- W3024739847 hasLocation W30247398471 @default.
- W3024739847 hasOpenAccess W3024739847 @default.
- W3024739847 hasPrimaryLocation W30247398471 @default.
- W3024739847 hasRelatedWork W10408542 @default.
- W3024739847 hasRelatedWork W10512613 @default.
- W3024739847 hasRelatedWork W12933499 @default.
- W3024739847 hasRelatedWork W13116528 @default.
- W3024739847 hasRelatedWork W2363194 @default.
- W3024739847 hasRelatedWork W2527097 @default.
- W3024739847 hasRelatedWork W5173919 @default.
- W3024739847 hasRelatedWork W5946197 @default.
- W3024739847 hasRelatedWork W6925215 @default.
- W3024739847 hasRelatedWork W7446981 @default.
- W3024739847 isParatext "false" @default.
- W3024739847 isRetracted "false" @default.
- W3024739847 magId "3024739847" @default.
- W3024739847 workType "article" @default.