Matches in SemOpenAlex for { <https://semopenalex.org/work/W155536188> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W155536188 endingPage "927" @default.
- W155536188 startingPage "912" @default.
- W155536188 abstract "Proof-carrying code approaches aim at safe execution of untrusted code by having the code producer attach a safety proof to the code which the code consumer only has to validate. Depending on the type of safety property, proofs can however become quite large and their validation - though faster than their construction - still time consuming. In this paper we introduce a new concept for safe execution of untrusted code. It keeps the idea of putting the time consuming part of proving on the side of the code producer, however, attaches no proofs to code anymore but instead uses the proof to transform the program into an equivalent but more efficiently verifiable program. Code consumers thus still do proving themselves, however, on a computationally inexpensive level only. Experimental results show that the proof effort can be reduced by several orders of magnitude, both with respect to time and space." @default.
- W155536188 created "2016-06-24" @default.
- W155536188 creator A5014974808 @default.
- W155536188 creator A5043271085 @default.
- W155536188 creator A5046915601 @default.
- W155536188 date "2013-01-01" @default.
- W155536188 modified "2023-09-30" @default.
- W155536188 title "Programs from Proofs – A PCC Alternative" @default.
- W155536188 cites W1497571013 @default.
- W155536188 cites W1553858749 @default.
- W155536188 cites W1556262481 @default.
- W155536188 cites W1556462035 @default.
- W155536188 cites W1588567874 @default.
- W155536188 cites W1593942753 @default.
- W155536188 cites W1667615663 @default.
- W155536188 cites W1982448885 @default.
- W155536188 cites W1995350708 @default.
- W155536188 cites W2012470235 @default.
- W155536188 cites W2028327857 @default.
- W155536188 cites W2044590882 @default.
- W155536188 cites W2045109907 @default.
- W155536188 cites W2066550846 @default.
- W155536188 cites W2141949513 @default.
- W155536188 cites W2153265459 @default.
- W155536188 cites W2161253570 @default.
- W155536188 cites W4229576726 @default.
- W155536188 cites W4230796557 @default.
- W155536188 cites W4237087841 @default.
- W155536188 doi "https://doi.org/10.1007/978-3-642-39799-8_65" @default.
- W155536188 hasPublicationYear "2013" @default.
- W155536188 type Work @default.
- W155536188 sameAs 155536188 @default.
- W155536188 citedByCount "7" @default.
- W155536188 countsByYear W1555361882013 @default.
- W155536188 countsByYear W1555361882014 @default.
- W155536188 countsByYear W1555361882015 @default.
- W155536188 countsByYear W1555361882020 @default.
- W155536188 crossrefType "book-chapter" @default.
- W155536188 hasAuthorship W155536188A5014974808 @default.
- W155536188 hasAuthorship W155536188A5043271085 @default.
- W155536188 hasAuthorship W155536188A5046915601 @default.
- W155536188 hasBestOaLocation W1555361881 @default.
- W155536188 hasConcept C108710211 @default.
- W155536188 hasConcept C111472728 @default.
- W155536188 hasConcept C11413529 @default.
- W155536188 hasConcept C138885662 @default.
- W155536188 hasConcept C177264268 @default.
- W155536188 hasConcept C189950617 @default.
- W155536188 hasConcept C199360897 @default.
- W155536188 hasConcept C2524010 @default.
- W155536188 hasConcept C2776760102 @default.
- W155536188 hasConcept C33923547 @default.
- W155536188 hasConcept C41008148 @default.
- W155536188 hasConcept C80444323 @default.
- W155536188 hasConcept C85847156 @default.
- W155536188 hasConceptScore W155536188C108710211 @default.
- W155536188 hasConceptScore W155536188C111472728 @default.
- W155536188 hasConceptScore W155536188C11413529 @default.
- W155536188 hasConceptScore W155536188C138885662 @default.
- W155536188 hasConceptScore W155536188C177264268 @default.
- W155536188 hasConceptScore W155536188C189950617 @default.
- W155536188 hasConceptScore W155536188C199360897 @default.
- W155536188 hasConceptScore W155536188C2524010 @default.
- W155536188 hasConceptScore W155536188C2776760102 @default.
- W155536188 hasConceptScore W155536188C33923547 @default.
- W155536188 hasConceptScore W155536188C41008148 @default.
- W155536188 hasConceptScore W155536188C80444323 @default.
- W155536188 hasConceptScore W155536188C85847156 @default.
- W155536188 hasLocation W1555361881 @default.
- W155536188 hasOpenAccess W155536188 @default.
- W155536188 hasPrimaryLocation W1555361881 @default.
- W155536188 hasRelatedWork W153605704 @default.
- W155536188 hasRelatedWork W155536188 @default.
- W155536188 hasRelatedWork W2141575885 @default.
- W155536188 hasRelatedWork W2384847609 @default.
- W155536188 hasRelatedWork W2405015847 @default.
- W155536188 hasRelatedWork W2915124127 @default.
- W155536188 hasRelatedWork W2920530813 @default.
- W155536188 hasRelatedWork W3214376140 @default.
- W155536188 hasRelatedWork W4283032222 @default.
- W155536188 hasRelatedWork W4295127475 @default.
- W155536188 isParatext "false" @default.
- W155536188 isRetracted "false" @default.
- W155536188 magId "155536188" @default.
- W155536188 workType "book-chapter" @default.