Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016209832> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2016209832 endingPage "291" @default.
- W2016209832 startingPage "273" @default.
- W2016209832 abstract "Proof-carrying code (PCC) is a technique for downloading mobile code on a host machine while ensuring that the code adheres to the host's safety policy. We show how certified abstract interpretation can be used to build a PCC architecture where the code producer can produce program certificates automatically. Code consumers use proof checkers derived from certified analysers to check certificates. Proof checkers carry their own correctness proofs and accepting a new proof checker amounts to type checking the checker in Coq. Certificates take the form of strategies for reconstructing a fixpoint and are kept small due to a technique for fixpoint compression. The PCC architecture has been implemented and evaluated experimentally on a byte code language for which we have designed an interval analysis that allows to generate certificates ascertaining that no array-out-of-bounds accesses will occur." @default.
- W2016209832 created "2016-06-24" @default.
- W2016209832 creator A5035021429 @default.
- W2016209832 creator A5046752375 @default.
- W2016209832 creator A5054819541 @default.
- W2016209832 date "2006-11-01" @default.
- W2016209832 modified "2023-09-23" @default.
- W2016209832 title "Proof-carrying code from certified abstract interpretation and fixpoint compression" @default.
- W2016209832 cites W1903460154 @default.
- W2016209832 cites W2028327857 @default.
- W2016209832 cites W2142191991 @default.
- W2016209832 cites W2155374739 @default.
- W2016209832 cites W2675276594 @default.
- W2016209832 doi "https://doi.org/10.1016/j.tcs.2006.08.012" @default.
- W2016209832 hasPublicationYear "2006" @default.
- W2016209832 type Work @default.
- W2016209832 sameAs 2016209832 @default.
- W2016209832 citedByCount "44" @default.
- W2016209832 countsByYear W20162098322012 @default.
- W2016209832 countsByYear W20162098322013 @default.
- W2016209832 countsByYear W20162098322014 @default.
- W2016209832 countsByYear W20162098322015 @default.
- W2016209832 countsByYear W20162098322020 @default.
- W2016209832 countsByYear W20162098322021 @default.
- W2016209832 countsByYear W20162098322022 @default.
- W2016209832 crossrefType "journal-article" @default.
- W2016209832 hasAuthorship W2016209832A5035021429 @default.
- W2016209832 hasAuthorship W2016209832A5046752375 @default.
- W2016209832 hasAuthorship W2016209832A5054819541 @default.
- W2016209832 hasBestOaLocation W20162098321 @default.
- W2016209832 hasConcept C108710211 @default.
- W2016209832 hasConcept C177264268 @default.
- W2016209832 hasConcept C17744445 @default.
- W2016209832 hasConcept C199360897 @default.
- W2016209832 hasConcept C199539241 @default.
- W2016209832 hasConcept C203265346 @default.
- W2016209832 hasConcept C2524010 @default.
- W2016209832 hasConcept C2776760102 @default.
- W2016209832 hasConcept C2780654840 @default.
- W2016209832 hasConcept C33923547 @default.
- W2016209832 hasConcept C41008148 @default.
- W2016209832 hasConcept C46304622 @default.
- W2016209832 hasConcept C55439883 @default.
- W2016209832 hasConceptScore W2016209832C108710211 @default.
- W2016209832 hasConceptScore W2016209832C177264268 @default.
- W2016209832 hasConceptScore W2016209832C17744445 @default.
- W2016209832 hasConceptScore W2016209832C199360897 @default.
- W2016209832 hasConceptScore W2016209832C199539241 @default.
- W2016209832 hasConceptScore W2016209832C203265346 @default.
- W2016209832 hasConceptScore W2016209832C2524010 @default.
- W2016209832 hasConceptScore W2016209832C2776760102 @default.
- W2016209832 hasConceptScore W2016209832C2780654840 @default.
- W2016209832 hasConceptScore W2016209832C33923547 @default.
- W2016209832 hasConceptScore W2016209832C41008148 @default.
- W2016209832 hasConceptScore W2016209832C46304622 @default.
- W2016209832 hasConceptScore W2016209832C55439883 @default.
- W2016209832 hasIssue "3" @default.
- W2016209832 hasLocation W20162098321 @default.
- W2016209832 hasOpenAccess W2016209832 @default.
- W2016209832 hasPrimaryLocation W20162098321 @default.
- W2016209832 hasRelatedWork W1575371466 @default.
- W2016209832 hasRelatedWork W1997440650 @default.
- W2016209832 hasRelatedWork W2015935537 @default.
- W2016209832 hasRelatedWork W2169244823 @default.
- W2016209832 hasRelatedWork W2172022734 @default.
- W2016209832 hasRelatedWork W2957710066 @default.
- W2016209832 hasRelatedWork W3033256385 @default.
- W2016209832 hasRelatedWork W3201393941 @default.
- W2016209832 hasRelatedWork W4288281293 @default.
- W2016209832 hasRelatedWork W787793384 @default.
- W2016209832 hasVolume "364" @default.
- W2016209832 isParatext "false" @default.
- W2016209832 isRetracted "false" @default.
- W2016209832 magId "2016209832" @default.
- W2016209832 workType "article" @default.