Matches in SemOpenAlex for { <https://semopenalex.org/work/W2729475850> ?p ?o ?g. }
- W2729475850 abstract "In this paper, we study the Dynamic Decisional Diffie-Hellman (3DH) problem, a powerful generalization of the Decisional Diffie-Hellman (DDH) problem. Our main result is that DDH implies 3DH. This result leads to significantly simpler proofs for protocols by relying directly on the more general problem. Our second contribution is a computationally sound symbolic technique for reasoning about protocols that use symmetric encryption and modular exponentiation. We show how to apply our results in the case of the Burmester & Desmedt protocol." @default.
- W2729475850 created "2017-07-14" @default.
- W2729475850 creator A5005219814 @default.
- W2729475850 creator A5026672767 @default.
- W2729475850 creator A5069477485 @default.
- W2729475850 date "2006-07-09" @default.
- W2729475850 modified "2023-09-27" @default.
- W2729475850 title "Soundness of Symbolic Equivalence for Modular Exponentiation" @default.
- W2729475850 cites W1493927711 @default.
- W2729475850 cites W1538016627 @default.
- W2729475850 cites W1579090196 @default.
- W2729475850 cites W1665450113 @default.
- W2729475850 cites W1709517452 @default.
- W2729475850 cites W1978023080 @default.
- W2729475850 cites W2029693536 @default.
- W2729475850 cites W2088440151 @default.
- W2729475850 cites W2099171290 @default.
- W2729475850 cites W2131123432 @default.
- W2729475850 cites W2156186849 @default.
- W2729475850 cites W2180842237 @default.
- W2729475850 cites W25261110 @default.
- W2729475850 hasPublicationYear "2006" @default.
- W2729475850 type Work @default.
- W2729475850 sameAs 2729475850 @default.
- W2729475850 citedByCount "0" @default.
- W2729475850 crossrefType "journal-article" @default.
- W2729475850 hasAuthorship W2729475850A5005219814 @default.
- W2729475850 hasAuthorship W2729475850A5026672767 @default.
- W2729475850 hasAuthorship W2729475850A5069477485 @default.
- W2729475850 hasConcept C101468663 @default.
- W2729475850 hasConcept C108710211 @default.
- W2729475850 hasConcept C11413529 @default.
- W2729475850 hasConcept C118615104 @default.
- W2729475850 hasConcept C134306372 @default.
- W2729475850 hasConcept C136119220 @default.
- W2729475850 hasConcept C142724271 @default.
- W2729475850 hasConcept C148730421 @default.
- W2729475850 hasConcept C152763109 @default.
- W2729475850 hasConcept C177148314 @default.
- W2729475850 hasConcept C178489894 @default.
- W2729475850 hasConcept C199360897 @default.
- W2729475850 hasConcept C202444582 @default.
- W2729475850 hasConcept C203062551 @default.
- W2729475850 hasConcept C204787440 @default.
- W2729475850 hasConcept C2524010 @default.
- W2729475850 hasConcept C2780069185 @default.
- W2729475850 hasConcept C2780385302 @default.
- W2729475850 hasConcept C33884865 @default.
- W2729475850 hasConcept C33923547 @default.
- W2729475850 hasConcept C38652104 @default.
- W2729475850 hasConcept C39920170 @default.
- W2729475850 hasConcept C41008148 @default.
- W2729475850 hasConcept C71924100 @default.
- W2729475850 hasConcept C80444323 @default.
- W2729475850 hasConcept C81539297 @default.
- W2729475850 hasConcept C94375191 @default.
- W2729475850 hasConceptScore W2729475850C101468663 @default.
- W2729475850 hasConceptScore W2729475850C108710211 @default.
- W2729475850 hasConceptScore W2729475850C11413529 @default.
- W2729475850 hasConceptScore W2729475850C118615104 @default.
- W2729475850 hasConceptScore W2729475850C134306372 @default.
- W2729475850 hasConceptScore W2729475850C136119220 @default.
- W2729475850 hasConceptScore W2729475850C142724271 @default.
- W2729475850 hasConceptScore W2729475850C148730421 @default.
- W2729475850 hasConceptScore W2729475850C152763109 @default.
- W2729475850 hasConceptScore W2729475850C177148314 @default.
- W2729475850 hasConceptScore W2729475850C178489894 @default.
- W2729475850 hasConceptScore W2729475850C199360897 @default.
- W2729475850 hasConceptScore W2729475850C202444582 @default.
- W2729475850 hasConceptScore W2729475850C203062551 @default.
- W2729475850 hasConceptScore W2729475850C204787440 @default.
- W2729475850 hasConceptScore W2729475850C2524010 @default.
- W2729475850 hasConceptScore W2729475850C2780069185 @default.
- W2729475850 hasConceptScore W2729475850C2780385302 @default.
- W2729475850 hasConceptScore W2729475850C33884865 @default.
- W2729475850 hasConceptScore W2729475850C33923547 @default.
- W2729475850 hasConceptScore W2729475850C38652104 @default.
- W2729475850 hasConceptScore W2729475850C39920170 @default.
- W2729475850 hasConceptScore W2729475850C41008148 @default.
- W2729475850 hasConceptScore W2729475850C71924100 @default.
- W2729475850 hasConceptScore W2729475850C80444323 @default.
- W2729475850 hasConceptScore W2729475850C81539297 @default.
- W2729475850 hasConceptScore W2729475850C94375191 @default.
- W2729475850 hasLocation W27294758501 @default.
- W2729475850 hasOpenAccess W2729475850 @default.
- W2729475850 hasPrimaryLocation W27294758501 @default.
- W2729475850 hasRelatedWork W110714987 @default.
- W2729475850 hasRelatedWork W194230529 @default.
- W2729475850 hasRelatedWork W2111653222 @default.
- W2729475850 hasRelatedWork W2138287985 @default.
- W2729475850 hasRelatedWork W2150438708 @default.
- W2729475850 hasRelatedWork W2408347115 @default.
- W2729475850 hasRelatedWork W2928909207 @default.
- W2729475850 hasRelatedWork W2949436478 @default.
- W2729475850 hasRelatedWork W2950125527 @default.
- W2729475850 hasRelatedWork W2950541934 @default.
- W2729475850 hasRelatedWork W2967941770 @default.
- W2729475850 hasRelatedWork W3021601184 @default.
- W2729475850 hasRelatedWork W3028859091 @default.
- W2729475850 hasRelatedWork W3030090939 @default.