Matches in SemOpenAlex for { <https://semopenalex.org/work/W109180904> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W109180904 abstract "The Secure Virtual Architecture (SVA) provides an object-level integrity policy, similar to type-safety, for languages such as C and C++, and thus rules out a wide range of common vulnerabilities. SVA uses an enhanced version of the Low-Level Virtual Machine (LLVM) compiler called SAFECode to enforce the policy through a combination of static and dynamic type-checks. However, this results in a relatively large trusted computing base (TCB). SVA reduces the TCB with an unverified type-checker that relies upon a paper-and-pencil proof of type-soundness for a core-language. As a further step towards increasing the assurance of the compiler, we present a mechanized proof of soundness and a verified type-checker for a realistic subset of the SAFECode type system developed using the Coq Proof Assistant." @default.
- W109180904 created "2016-06-24" @default.
- W109180904 creator A5013036515 @default.
- W109180904 creator A5064972235 @default.
- W109180904 date "2013-01-01" @default.
- W109180904 modified "2023-09-23" @default.
- W109180904 title "Formalizing the SAFECode Type System" @default.
- W109180904 cites W1981962444 @default.
- W109180904 cites W2023035194 @default.
- W109180904 cites W2087875803 @default.
- W109180904 cites W2105349588 @default.
- W109180904 cites W2106412703 @default.
- W109180904 cites W2154942048 @default.
- W109180904 cites W2155851497 @default.
- W109180904 cites W4234020632 @default.
- W109180904 cites W4251201460 @default.
- W109180904 cites W4298447450 @default.
- W109180904 doi "https://doi.org/10.1007/978-3-319-03545-1_14" @default.
- W109180904 hasPublicationYear "2013" @default.
- W109180904 type Work @default.
- W109180904 sameAs 109180904 @default.
- W109180904 citedByCount "0" @default.
- W109180904 crossrefType "book-chapter" @default.
- W109180904 hasAuthorship W109180904A5013036515 @default.
- W109180904 hasAuthorship W109180904A5064972235 @default.
- W109180904 hasConcept C108710211 @default.
- W109180904 hasConcept C111919701 @default.
- W109180904 hasConcept C147346212 @default.
- W109180904 hasConcept C169590947 @default.
- W109180904 hasConcept C184842701 @default.
- W109180904 hasConcept C199360897 @default.
- W109180904 hasConcept C203265346 @default.
- W109180904 hasConcept C2524010 @default.
- W109180904 hasConcept C25344961 @default.
- W109180904 hasConcept C33923547 @default.
- W109180904 hasConcept C39920170 @default.
- W109180904 hasConcept C41008148 @default.
- W109180904 hasConcept C79974875 @default.
- W109180904 hasConcept C97686452 @default.
- W109180904 hasConceptScore W109180904C108710211 @default.
- W109180904 hasConceptScore W109180904C111919701 @default.
- W109180904 hasConceptScore W109180904C147346212 @default.
- W109180904 hasConceptScore W109180904C169590947 @default.
- W109180904 hasConceptScore W109180904C184842701 @default.
- W109180904 hasConceptScore W109180904C199360897 @default.
- W109180904 hasConceptScore W109180904C203265346 @default.
- W109180904 hasConceptScore W109180904C2524010 @default.
- W109180904 hasConceptScore W109180904C25344961 @default.
- W109180904 hasConceptScore W109180904C33923547 @default.
- W109180904 hasConceptScore W109180904C39920170 @default.
- W109180904 hasConceptScore W109180904C41008148 @default.
- W109180904 hasConceptScore W109180904C79974875 @default.
- W109180904 hasConceptScore W109180904C97686452 @default.
- W109180904 hasLocation W1091809041 @default.
- W109180904 hasOpenAccess W109180904 @default.
- W109180904 hasPrimaryLocation W1091809041 @default.
- W109180904 hasRelatedWork W121297392 @default.
- W109180904 hasRelatedWork W1521074944 @default.
- W109180904 hasRelatedWork W1606793177 @default.
- W109180904 hasRelatedWork W1976394633 @default.
- W109180904 hasRelatedWork W2023785576 @default.
- W109180904 hasRelatedWork W2027642766 @default.
- W109180904 hasRelatedWork W2040856861 @default.
- W109180904 hasRelatedWork W2047442766 @default.
- W109180904 hasRelatedWork W2097685561 @default.
- W109180904 hasRelatedWork W2131821445 @default.
- W109180904 hasRelatedWork W2160255280 @default.
- W109180904 hasRelatedWork W2181886785 @default.
- W109180904 hasRelatedWork W2604735929 @default.
- W109180904 hasRelatedWork W2775796483 @default.
- W109180904 hasRelatedWork W2833521132 @default.
- W109180904 hasRelatedWork W2908779239 @default.
- W109180904 hasRelatedWork W2930837359 @default.
- W109180904 hasRelatedWork W3097064044 @default.
- W109180904 hasRelatedWork W3122695096 @default.
- W109180904 hasRelatedWork W779804229 @default.
- W109180904 isParatext "false" @default.
- W109180904 isRetracted "false" @default.
- W109180904 magId "109180904" @default.
- W109180904 workType "book-chapter" @default.