FRINK Linked Data Fragments server

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

• W47303695 endingPage "48" @default.
• W47303695 startingPage "48" @default.
• W47303695 abstract "There are many places in operating systems today where extending the running kernel with small and fast extensions is an interesting thing to do. For example, the Berkeley Packet Filter (BPF) allows code for a virtual machine to be uploaded intoa running kernel and executed at packet reception, allowing fairly arbitrary filtering of packets before they cross the expensive kernel to user interface. Whatever mechanism is used needs to provide some reasonable guarantees about the safety of the resulting code, which makes this problem complex.This paper describes a simple x86 bytecode verifier that is intended to be used to verify that a small program that is to be loaded obeys a reasonable safety policy. For program constructs that it is able to reason about, it can verify that code does not execute privileged instructions, only accesses known memory locations, and terminates. It cannot reason about arbitrary programs, but can reason about simple programs and developers that know the prover's limitations can write their code to be recognizable by the verifier.The contribution of this work is to show that a very limited prover can operate on native machine code and can efficiently reason about a small but still interesting set of programs." @default.
• W47303695 created "2016-06-24" @default.
• W47303695 creator A5085661681 @default.
• W47303695 date "2000-06-18" @default.
• W47303695 modified "2023-09-28" @default.
• W47303695 title "Safety checking of kernel extensions" @default.
• W47303695 cites W1994584977 @default.
• W47303695 cites W2034711041 @default.
• W47303695 cites W2095629885 @default.
• W47303695 cites W2150769115 @default.
• W47303695 hasPublicationYear "2000" @default.
• W47303695 type Work @default.
• W47303695 sameAs 47303695 @default.
• W47303695 citedByCount "2" @default.
• W47303695 crossrefType "proceedings-article" @default.
• W47303695 hasAuthorship W47303695A5085661681 @default.
• W47303695 hasConcept C108710211 @default.
• W47303695 hasConcept C111472728 @default.
• W47303695 hasConcept C111919701 @default.
• W47303695 hasConcept C113843644 @default.
• W47303695 hasConcept C114614502 @default.
• W47303695 hasConcept C129307140 @default.
• W47303695 hasConcept C133162039 @default.
• W47303695 hasConcept C138885662 @default.
• W47303695 hasConcept C151578736 @default.
• W47303695 hasConcept C157915830 @default.
• W47303695 hasConcept C158379750 @default.
• W47303695 hasConcept C159718280 @default.
• W47303695 hasConcept C177264268 @default.
• W47303695 hasConcept C199360897 @default.
• W47303695 hasConcept C2524010 @default.
• W47303695 hasConcept C25344961 @default.
• W47303695 hasConcept C26517878 @default.
• W47303695 hasConcept C2776760102 @default.
• W47303695 hasConcept C2777904410 @default.
• W47303695 hasConcept C2779818221 @default.
• W47303695 hasConcept C2780586882 @default.
• W47303695 hasConcept C28180684 @default.
• W47303695 hasConcept C33923547 @default.
• W47303695 hasConcept C38652104 @default.
• W47303695 hasConcept C41008148 @default.
• W47303695 hasConcept C43126263 @default.
• W47303695 hasConcept C47434764 @default.
• W47303695 hasConcept C50951305 @default.
• W47303695 hasConcept C74193536 @default.
• W47303695 hasConcept C80444323 @default.
• W47303695 hasConceptScore W47303695C108710211 @default.
• W47303695 hasConceptScore W47303695C111472728 @default.
• W47303695 hasConceptScore W47303695C111919701 @default.
• W47303695 hasConceptScore W47303695C113843644 @default.
• W47303695 hasConceptScore W47303695C114614502 @default.
• W47303695 hasConceptScore W47303695C129307140 @default.
• W47303695 hasConceptScore W47303695C133162039 @default.
• W47303695 hasConceptScore W47303695C138885662 @default.
• W47303695 hasConceptScore W47303695C151578736 @default.
• W47303695 hasConceptScore W47303695C157915830 @default.
• W47303695 hasConceptScore W47303695C158379750 @default.
• W47303695 hasConceptScore W47303695C159718280 @default.
• W47303695 hasConceptScore W47303695C177264268 @default.
• W47303695 hasConceptScore W47303695C199360897 @default.
• W47303695 hasConceptScore W47303695C2524010 @default.
• W47303695 hasConceptScore W47303695C25344961 @default.
• W47303695 hasConceptScore W47303695C26517878 @default.
• W47303695 hasConceptScore W47303695C2776760102 @default.
• W47303695 hasConceptScore W47303695C2777904410 @default.
• W47303695 hasConceptScore W47303695C2779818221 @default.
• W47303695 hasConceptScore W47303695C2780586882 @default.
• W47303695 hasConceptScore W47303695C28180684 @default.
• W47303695 hasConceptScore W47303695C33923547 @default.
• W47303695 hasConceptScore W47303695C38652104 @default.
• W47303695 hasConceptScore W47303695C41008148 @default.
• W47303695 hasConceptScore W47303695C43126263 @default.
• W47303695 hasConceptScore W47303695C47434764 @default.
• W47303695 hasConceptScore W47303695C50951305 @default.
• W47303695 hasConceptScore W47303695C74193536 @default.
• W47303695 hasConceptScore W47303695C80444323 @default.
• W47303695 hasLocation W473036951 @default.
• W47303695 hasOpenAccess W47303695 @default.
• W47303695 hasPrimaryLocation W473036951 @default.
• W47303695 hasRelatedWork W1562531996 @default.
• W47303695 hasRelatedWork W1768378500 @default.
• W47303695 hasRelatedWork W1808392 @default.
• W47303695 hasRelatedWork W1819824216 @default.
• W47303695 hasRelatedWork W2032186805 @default.
• W47303695 hasRelatedWork W2092276325 @default.
• W47303695 hasRelatedWork W2097043165 @default.
• W47303695 hasRelatedWork W2117009500 @default.
• W47303695 hasRelatedWork W2249290787 @default.
• W47303695 hasRelatedWork W2404962438 @default.
• W47303695 hasRelatedWork W2426164632 @default.
• W47303695 hasRelatedWork W2508528919 @default.
• W47303695 hasRelatedWork W2888495293 @default.
• W47303695 hasRelatedWork W2897319206 @default.
• W47303695 hasRelatedWork W2898520257 @default.
• W47303695 hasRelatedWork W3024746729 @default.
• W47303695 hasRelatedWork W3124933548 @default.
• W47303695 hasRelatedWork W349177527 @default.
• W47303695 hasRelatedWork W193626754 @default.

• next