Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034711041> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2034711041 abstract "This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe to execute a program supplied (possibly in binary form) by an untrusted source. For this to be possible, the untrusted code producer must supply with the code a safety proof that attests to the code's adherence to a previously defined safety policy. The host can then easily and quickly validate the proof without using cryptography and without consulting any external agents.In order to gain preliminary experience with PCC, we have performed several case studies. We show in this paper how proof-carrying code might be used to develop safe assembly-language extensions of ML programs. In the context of this case study, we present and prove the adequacy of concrete representations for the safety policy, the safety proofs, and the proof validation. Finally, we briefly discuss how we use proof-carrying code to develop network packet filters that are faster than similar filters developed using other techniques and are formally guaranteed to be safe with respect to a given operating system safety policy." @default.
- W2034711041 created "2016-06-24" @default.
- W2034711041 creator A5049483484 @default.
- W2034711041 date "1997-01-01" @default.
- W2034711041 modified "2023-09-30" @default.
- W2034711041 title "Proof-carrying code" @default.
- W2034711041 cites W1829244603 @default.
- W2034711041 cites W1965348053 @default.
- W2034711041 cites W1974190112 @default.
- W2034711041 cites W1994847786 @default.
- W2034711041 cites W2022371412 @default.
- W2034711041 cites W2069300761 @default.
- W2034711041 cites W2079029390 @default.
- W2034711041 cites W2083469471 @default.
- W2034711041 cites W2093111544 @default.
- W2034711041 cites W2097223122 @default.
- W2034711041 cites W2137296754 @default.
- W2034711041 cites W2138381338 @default.
- W2034711041 cites W2150769115 @default.
- W2034711041 cites W2163693197 @default.
- W2034711041 cites W2171691057 @default.
- W2034711041 doi "https://doi.org/10.1145/263699.263712" @default.
- W2034711041 hasPublicationYear "1997" @default.
- W2034711041 type Work @default.
- W2034711041 sameAs 2034711041 @default.
- W2034711041 citedByCount "1595" @default.
- W2034711041 countsByYear W20347110412012 @default.
- W2034711041 countsByYear W20347110412013 @default.
- W2034711041 countsByYear W20347110412014 @default.
- W2034711041 countsByYear W20347110412015 @default.
- W2034711041 countsByYear W20347110412016 @default.
- W2034711041 countsByYear W20347110412017 @default.
- W2034711041 countsByYear W20347110412018 @default.
- W2034711041 countsByYear W20347110412019 @default.
- W2034711041 countsByYear W20347110412020 @default.
- W2034711041 countsByYear W20347110412021 @default.
- W2034711041 countsByYear W20347110412022 @default.
- W2034711041 countsByYear W20347110412023 @default.
- W2034711041 crossrefType "proceedings-article" @default.
- W2034711041 hasAuthorship W2034711041A5049483484 @default.
- W2034711041 hasConcept C108710211 @default.
- W2034711041 hasConcept C111919701 @default.
- W2034711041 hasConcept C124978682 @default.
- W2034711041 hasConcept C151730666 @default.
- W2034711041 hasConcept C177264268 @default.
- W2034711041 hasConcept C178489894 @default.
- W2034711041 hasConcept C199360897 @default.
- W2034711041 hasConcept C2524010 @default.
- W2034711041 hasConcept C2776760102 @default.
- W2034711041 hasConcept C2779343474 @default.
- W2034711041 hasConcept C33923547 @default.
- W2034711041 hasConcept C38652104 @default.
- W2034711041 hasConcept C41008148 @default.
- W2034711041 hasConcept C43126263 @default.
- W2034711041 hasConcept C86803240 @default.
- W2034711041 hasConceptScore W2034711041C108710211 @default.
- W2034711041 hasConceptScore W2034711041C111919701 @default.
- W2034711041 hasConceptScore W2034711041C124978682 @default.
- W2034711041 hasConceptScore W2034711041C151730666 @default.
- W2034711041 hasConceptScore W2034711041C177264268 @default.
- W2034711041 hasConceptScore W2034711041C178489894 @default.
- W2034711041 hasConceptScore W2034711041C199360897 @default.
- W2034711041 hasConceptScore W2034711041C2524010 @default.
- W2034711041 hasConceptScore W2034711041C2776760102 @default.
- W2034711041 hasConceptScore W2034711041C2779343474 @default.
- W2034711041 hasConceptScore W2034711041C33923547 @default.
- W2034711041 hasConceptScore W2034711041C38652104 @default.
- W2034711041 hasConceptScore W2034711041C41008148 @default.
- W2034711041 hasConceptScore W2034711041C43126263 @default.
- W2034711041 hasConceptScore W2034711041C86803240 @default.
- W2034711041 hasLocation W20347110411 @default.
- W2034711041 hasOpenAccess W2034711041 @default.
- W2034711041 hasPrimaryLocation W20347110411 @default.
- W2034711041 hasRelatedWork W1522113126 @default.
- W2034711041 hasRelatedWork W1532058475 @default.
- W2034711041 hasRelatedWork W1652311832 @default.
- W2034711041 hasRelatedWork W2135396778 @default.
- W2034711041 hasRelatedWork W2166247150 @default.
- W2034711041 hasRelatedWork W2243428364 @default.
- W2034711041 hasRelatedWork W2462453872 @default.
- W2034711041 hasRelatedWork W3207171446 @default.
- W2034711041 hasRelatedWork W4243252198 @default.
- W2034711041 hasRelatedWork W4245713008 @default.
- W2034711041 isParatext "false" @default.
- W2034711041 isRetracted "false" @default.
- W2034711041 magId "2034711041" @default.
- W2034711041 workType "article" @default.