Matches in SemOpenAlex for { <https://semopenalex.org/work/W2394958322> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2394958322 startingPage "467" @default.
- W2394958322 abstract "We extend a Probabilistic Hoare-style logic to formalize game-based cryptographic proofs. Our approach provides a systematic and rigorous framework, thus preventing errors from being introduced. We illustrate our technique by proving semantic security of ElGamal." @default.
- W2394958322 created "2016-06-24" @default.
- W2394958322 creator A5001567598 @default.
- W2394958322 creator A5052646282 @default.
- W2394958322 date "2006-01-01" @default.
- W2394958322 modified "2023-09-26" @default.
- W2394958322 title "A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended version)" @default.
- W2394958322 cites W1514242548 @default.
- W2394958322 cites W1606603814 @default.
- W2394958322 cites W1607941647 @default.
- W2394958322 cites W1864574667 @default.
- W2394958322 cites W187962066 @default.
- W2394958322 cites W2108834246 @default.
- W2394958322 cites W2108978217 @default.
- W2394958322 cites W2113999696 @default.
- W2394958322 cites W2119029543 @default.
- W2394958322 cites W2132500409 @default.
- W2394958322 cites W2152924492 @default.
- W2394958322 cites W2163923040 @default.
- W2394958322 cites W3146075203 @default.
- W2394958322 hasPublicationYear "2006" @default.
- W2394958322 type Work @default.
- W2394958322 sameAs 2394958322 @default.
- W2394958322 citedByCount "1" @default.
- W2394958322 countsByYear W23949583222012 @default.
- W2394958322 crossrefType "posted-content" @default.
- W2394958322 hasAuthorship W2394958322A5001567598 @default.
- W2394958322 hasAuthorship W2394958322A5052646282 @default.
- W2394958322 hasConcept C104949639 @default.
- W2394958322 hasConcept C108710211 @default.
- W2394958322 hasConcept C11045955 @default.
- W2394958322 hasConcept C148730421 @default.
- W2394958322 hasConcept C154945302 @default.
- W2394958322 hasConcept C15927051 @default.
- W2394958322 hasConcept C173856430 @default.
- W2394958322 hasConcept C178489894 @default.
- W2394958322 hasConcept C199360897 @default.
- W2394958322 hasConcept C203062551 @default.
- W2394958322 hasConcept C2524010 @default.
- W2394958322 hasConcept C33884865 @default.
- W2394958322 hasConcept C33923547 @default.
- W2394958322 hasConcept C38652104 @default.
- W2394958322 hasConcept C39920170 @default.
- W2394958322 hasConcept C41008148 @default.
- W2394958322 hasConcept C49937458 @default.
- W2394958322 hasConcept C55439883 @default.
- W2394958322 hasConcept C80444323 @default.
- W2394958322 hasConceptScore W2394958322C104949639 @default.
- W2394958322 hasConceptScore W2394958322C108710211 @default.
- W2394958322 hasConceptScore W2394958322C11045955 @default.
- W2394958322 hasConceptScore W2394958322C148730421 @default.
- W2394958322 hasConceptScore W2394958322C154945302 @default.
- W2394958322 hasConceptScore W2394958322C15927051 @default.
- W2394958322 hasConceptScore W2394958322C173856430 @default.
- W2394958322 hasConceptScore W2394958322C178489894 @default.
- W2394958322 hasConceptScore W2394958322C199360897 @default.
- W2394958322 hasConceptScore W2394958322C203062551 @default.
- W2394958322 hasConceptScore W2394958322C2524010 @default.
- W2394958322 hasConceptScore W2394958322C33884865 @default.
- W2394958322 hasConceptScore W2394958322C33923547 @default.
- W2394958322 hasConceptScore W2394958322C38652104 @default.
- W2394958322 hasConceptScore W2394958322C39920170 @default.
- W2394958322 hasConceptScore W2394958322C41008148 @default.
- W2394958322 hasConceptScore W2394958322C49937458 @default.
- W2394958322 hasConceptScore W2394958322C55439883 @default.
- W2394958322 hasConceptScore W2394958322C80444323 @default.
- W2394958322 hasLocation W23949583221 @default.
- W2394958322 hasOpenAccess W2394958322 @default.
- W2394958322 hasPrimaryLocation W23949583221 @default.
- W2394958322 hasRelatedWork W1490417012 @default.
- W2394958322 hasRelatedWork W1506927614 @default.
- W2394958322 hasRelatedWork W1600911961 @default.
- W2394958322 hasRelatedWork W1604674876 @default.
- W2394958322 hasRelatedWork W2045237008 @default.
- W2394958322 hasRelatedWork W2082769874 @default.
- W2394958322 hasRelatedWork W2166505334 @default.
- W2394958322 hasRelatedWork W2399174319 @default.
- W2394958322 hasRelatedWork W2587442880 @default.
- W2394958322 hasRelatedWork W2736366676 @default.
- W2394958322 hasRelatedWork W2751465014 @default.
- W2394958322 hasRelatedWork W2808040475 @default.
- W2394958322 hasRelatedWork W2901281245 @default.
- W2394958322 hasRelatedWork W2906782500 @default.
- W2394958322 hasRelatedWork W29316377 @default.
- W2394958322 hasRelatedWork W2957722170 @default.
- W2394958322 hasRelatedWork W3003460908 @default.
- W2394958322 hasRelatedWork W3101136070 @default.
- W2394958322 hasRelatedWork W3105570133 @default.
- W2394958322 hasRelatedWork W2999096372 @default.
- W2394958322 hasVolume "2005" @default.
- W2394958322 isParatext "false" @default.
- W2394958322 isRetracted "false" @default.
- W2394958322 magId "2394958322" @default.
- W2394958322 workType "article" @default.