Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071736974> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2071736974 abstract "Correctness of cryptosystems is in many cases an important prerequisite for trusting security relevant systems. Even cryptosystems with tiny specifications are often hard for humans to understand. It can be difficult to reason about them and to convince oneself that distinct security properties do indeed hold. Even mathematical proofs -- carried out with paper and pencil -- which are intended to show the strength of a cryptosystem with respect to some attacker model have turned out to be error prone." @default.
- W2071736974 created "2016-06-24" @default.
- W2071736974 creator A5039614631 @default.
- W2071736974 date "2011-03-21" @default.
- W2071736974 modified "2023-09-27" @default.
- W2071736974 title "Proving the security of ElGamal encryption via indistinguishability logic" @default.
- W2071736974 cites W1501056402 @default.
- W2071736974 cites W1585766570 @default.
- W2071736974 cites W1592790363 @default.
- W2071736974 cites W1733287636 @default.
- W2071736974 cites W1911300459 @default.
- W2071736974 cites W2011086847 @default.
- W2071736974 cites W2092107726 @default.
- W2071736974 cites W2106218479 @default.
- W2071736974 cites W2108834246 @default.
- W2071736974 cites W2108978217 @default.
- W2071736974 cites W2154231274 @default.
- W2071736974 cites W2159543798 @default.
- W2071736974 cites W2167606175 @default.
- W2071736974 cites W2169374412 @default.
- W2071736974 doi "https://doi.org/10.1145/1982185.1982527" @default.
- W2071736974 hasPublicationYear "2011" @default.
- W2071736974 type Work @default.
- W2071736974 sameAs 2071736974 @default.
- W2071736974 citedByCount "4" @default.
- W2071736974 countsByYear W20717369742012 @default.
- W2071736974 countsByYear W20717369742014 @default.
- W2071736974 countsByYear W20717369742022 @default.
- W2071736974 crossrefType "proceedings-article" @default.
- W2071736974 hasAuthorship W2071736974A5039614631 @default.
- W2071736974 hasConcept C108710211 @default.
- W2071736974 hasConcept C11045955 @default.
- W2071736974 hasConcept C147343967 @default.
- W2071736974 hasConcept C148730421 @default.
- W2071736974 hasConcept C178489894 @default.
- W2071736974 hasConcept C199360897 @default.
- W2071736974 hasConcept C203062551 @default.
- W2071736974 hasConcept C2524010 @default.
- W2071736974 hasConcept C33923547 @default.
- W2071736974 hasConcept C38652104 @default.
- W2071736974 hasConcept C41008148 @default.
- W2071736974 hasConcept C55439883 @default.
- W2071736974 hasConcept C6295992 @default.
- W2071736974 hasConcept C73468433 @default.
- W2071736974 hasConcept C80444323 @default.
- W2071736974 hasConceptScore W2071736974C108710211 @default.
- W2071736974 hasConceptScore W2071736974C11045955 @default.
- W2071736974 hasConceptScore W2071736974C147343967 @default.
- W2071736974 hasConceptScore W2071736974C148730421 @default.
- W2071736974 hasConceptScore W2071736974C178489894 @default.
- W2071736974 hasConceptScore W2071736974C199360897 @default.
- W2071736974 hasConceptScore W2071736974C203062551 @default.
- W2071736974 hasConceptScore W2071736974C2524010 @default.
- W2071736974 hasConceptScore W2071736974C33923547 @default.
- W2071736974 hasConceptScore W2071736974C38652104 @default.
- W2071736974 hasConceptScore W2071736974C41008148 @default.
- W2071736974 hasConceptScore W2071736974C55439883 @default.
- W2071736974 hasConceptScore W2071736974C6295992 @default.
- W2071736974 hasConceptScore W2071736974C73468433 @default.
- W2071736974 hasConceptScore W2071736974C80444323 @default.
- W2071736974 hasLocation W20717369741 @default.
- W2071736974 hasOpenAccess W2071736974 @default.
- W2071736974 hasPrimaryLocation W20717369741 @default.
- W2071736974 hasRelatedWork W1573262134 @default.
- W2071736974 hasRelatedWork W2015340470 @default.
- W2071736974 hasRelatedWork W2072121235 @default.
- W2071736974 hasRelatedWork W2083110660 @default.
- W2071736974 hasRelatedWork W2102753067 @default.
- W2071736974 hasRelatedWork W2964201217 @default.
- W2071736974 hasRelatedWork W3023370782 @default.
- W2071736974 hasRelatedWork W3094446317 @default.
- W2071736974 hasRelatedWork W4297755902 @default.
- W2071736974 hasRelatedWork W4323896428 @default.
- W2071736974 isParatext "false" @default.
- W2071736974 isRetracted "false" @default.
- W2071736974 magId "2071736974" @default.
- W2071736974 workType "article" @default.