Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000943029> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2000943029 abstract "Most computational soundness theorems deal with a limited number of primitives, thereby limiting their applicability. The notion of deduction soundness of Cortier and Warinschi (CCS'11) aims to facilitate soundness theorems for richer frameworks via composition results: deduction soundness can be extended, generically, with asymmetric encryption and public data structures. Unfortunately, that paper also hints at rather serious limitations regarding further composition results: composability with digital signatures seems to be precluded." @default.
- W2000943029 created "2016-06-24" @default.
- W2000943029 creator A5024352914 @default.
- W2000943029 creator A5026672767 @default.
- W2000943029 creator A5070402905 @default.
- W2000943029 date "2013-01-01" @default.
- W2000943029 modified "2023-09-25" @default.
- W2000943029 title "Deduction soundness" @default.
- W2000943029 cites W1505659502 @default.
- W2000943029 cites W1508077776 @default.
- W2000943029 cites W1508967933 @default.
- W2000943029 cites W1589176872 @default.
- W2000943029 cites W1605744481 @default.
- W2000943029 cites W1760594424 @default.
- W2000943029 cites W1860797715 @default.
- W2000943029 cites W1982239665 @default.
- W2000943029 cites W1982325601 @default.
- W2000943029 cites W2038704899 @default.
- W2000943029 cites W2052267638 @default.
- W2000943029 cites W2063161063 @default.
- W2000943029 cites W2080269101 @default.
- W2000943029 cites W2091877728 @default.
- W2000943029 cites W2127035198 @default.
- W2000943029 cites W2165214731 @default.
- W2000943029 cites W2274099342 @default.
- W2000943029 cites W3030049435 @default.
- W2000943029 cites W42806983 @default.
- W2000943029 doi "https://doi.org/10.1145/2508859.2516711" @default.
- W2000943029 hasPublicationYear "2013" @default.
- W2000943029 type Work @default.
- W2000943029 sameAs 2000943029 @default.
- W2000943029 citedByCount "10" @default.
- W2000943029 countsByYear W20009430292014 @default.
- W2000943029 countsByYear W20009430292015 @default.
- W2000943029 countsByYear W20009430292016 @default.
- W2000943029 countsByYear W20009430292019 @default.
- W2000943029 crossrefType "proceedings-article" @default.
- W2000943029 hasAuthorship W2000943029A5024352914 @default.
- W2000943029 hasAuthorship W2000943029A5026672767 @default.
- W2000943029 hasAuthorship W2000943029A5070402905 @default.
- W2000943029 hasConcept C127413603 @default.
- W2000943029 hasConcept C188198153 @default.
- W2000943029 hasConcept C199360897 @default.
- W2000943029 hasConcept C2778814252 @default.
- W2000943029 hasConcept C39920170 @default.
- W2000943029 hasConcept C41008148 @default.
- W2000943029 hasConcept C78519656 @default.
- W2000943029 hasConcept C80444323 @default.
- W2000943029 hasConceptScore W2000943029C127413603 @default.
- W2000943029 hasConceptScore W2000943029C188198153 @default.
- W2000943029 hasConceptScore W2000943029C199360897 @default.
- W2000943029 hasConceptScore W2000943029C2778814252 @default.
- W2000943029 hasConceptScore W2000943029C39920170 @default.
- W2000943029 hasConceptScore W2000943029C41008148 @default.
- W2000943029 hasConceptScore W2000943029C78519656 @default.
- W2000943029 hasConceptScore W2000943029C80444323 @default.
- W2000943029 hasLocation W20009430291 @default.
- W2000943029 hasLocation W20009430292 @default.
- W2000943029 hasLocation W20009430293 @default.
- W2000943029 hasOpenAccess W2000943029 @default.
- W2000943029 hasPrimaryLocation W20009430291 @default.
- W2000943029 hasRelatedWork W1555117193 @default.
- W2000943029 hasRelatedWork W191090187 @default.
- W2000943029 hasRelatedWork W2000943029 @default.
- W2000943029 hasRelatedWork W2059808351 @default.
- W2000943029 hasRelatedWork W2117798332 @default.
- W2000943029 hasRelatedWork W2166247150 @default.
- W2000943029 hasRelatedWork W2293004035 @default.
- W2000943029 hasRelatedWork W2762577149 @default.
- W2000943029 hasRelatedWork W4237428255 @default.
- W2000943029 hasRelatedWork W2611505573 @default.
- W2000943029 isParatext "false" @default.
- W2000943029 isRetracted "false" @default.
- W2000943029 magId "2000943029" @default.
- W2000943029 workType "article" @default.