Matches in SemOpenAlex for { <https://semopenalex.org/work/W3205065010> ?p ?o ?g. }
- W3205065010 endingPage "272" @default.
- W3205065010 startingPage "249" @default.
- W3205065010 abstract "The Universal Composability (UC) framework (FOCS ’01) is the current standard for proving security of cryptographic protocols under composition. It allows to reason about complex protocol structures in a bottom-up fashion: any building block that is UC-secure can be composed arbitrarily with any other UC-secure construction while retaining their security guarantees. Unfortunately, some protocol properties such as the verifiability of outputs require excessively strong tools to achieve in UC. In particular, “obviously secure” constructions cannot directly be shown to be UC-secure, and verifiability of building blocks does not easily carry over to verifiability of the composed construction. In this work, we study Non-Interactive (Public) Verifiability of UC protocols, i.e. under which conditions a verifier can ascertain that a party obtained a specific output from the protocol. The verifier may have been part of the protocol execution or not, as in the case of public verifiability. We consider a setting used in a number of applications where it is ok to reveal the input of the party whose output gets verified and analyze under which conditions such verifiability can generically be achieved using “cheap” cryptographic primitives. That is, we avoid having to rely on adaptively secure primitives or heavy computational tools such as NIZKs. As Non-Interactive Public Verifiability is crucial when composing protocols with a public ledger, our approach can be beneficial when designing these with provably composable security and efficiency in mind." @default.
- W3205065010 created "2021-10-25" @default.
- W3205065010 creator A5014034048 @default.
- W3205065010 creator A5060580234 @default.
- W3205065010 creator A5083071294 @default.
- W3205065010 date "2022-01-01" @default.
- W3205065010 modified "2023-10-16" @default.
- W3205065010 title "(Public) Verifiability for Composable Protocols Without Adaptivity or Zero-Knowledge" @default.
- W3205065010 cites W111114747 @default.
- W3205065010 cites W112739640 @default.
- W3205065010 cites W1499934958 @default.
- W3205065010 cites W1505629034 @default.
- W3205065010 cites W1562226375 @default.
- W3205065010 cites W1601458649 @default.
- W3205065010 cites W1913041503 @default.
- W3205065010 cites W2027471022 @default.
- W3205065010 cites W2031015560 @default.
- W3205065010 cites W2039275540 @default.
- W3205065010 cites W2111276172 @default.
- W3205065010 cites W2120315802 @default.
- W3205065010 cites W2136530453 @default.
- W3205065010 cites W2232878900 @default.
- W3205065010 cites W2295268597 @default.
- W3205065010 cites W2402235285 @default.
- W3205065010 cites W2430991892 @default.
- W3205065010 cites W2475990049 @default.
- W3205065010 cites W2524585805 @default.
- W3205065010 cites W2605103916 @default.
- W3205065010 cites W2739845435 @default.
- W3205065010 cites W2756646245 @default.
- W3205065010 cites W2795222609 @default.
- W3205065010 cites W2914554654 @default.
- W3205065010 cites W2982334420 @default.
- W3205065010 cites W3021321836 @default.
- W3205065010 cites W3028977572 @default.
- W3205065010 cites W3037053551 @default.
- W3205065010 cites W3037463635 @default.
- W3205065010 cites W3043322308 @default.
- W3205065010 cites W312279799 @default.
- W3205065010 cites W3140685089 @default.
- W3205065010 cites W35289019 @default.
- W3205065010 cites W780859780 @default.
- W3205065010 cites W851575271 @default.
- W3205065010 doi "https://doi.org/10.1007/978-3-031-20917-8_17" @default.
- W3205065010 hasPublicationYear "2022" @default.
- W3205065010 type Work @default.
- W3205065010 sameAs 3205065010 @default.
- W3205065010 citedByCount "0" @default.
- W3205065010 crossrefType "book-chapter" @default.
- W3205065010 hasAuthorship W3205065010A5014034048 @default.
- W3205065010 hasAuthorship W3205065010A5060580234 @default.
- W3205065010 hasAuthorship W3205065010A5083071294 @default.
- W3205065010 hasBestOaLocation W32050650102 @default.
- W3205065010 hasConcept C120314980 @default.
- W3205065010 hasConcept C142724271 @default.
- W3205065010 hasConcept C15927051 @default.
- W3205065010 hasConcept C165751822 @default.
- W3205065010 hasConcept C176329583 @default.
- W3205065010 hasConcept C178489894 @default.
- W3205065010 hasConcept C204787440 @default.
- W3205065010 hasConcept C2524010 @default.
- W3205065010 hasConcept C2777210771 @default.
- W3205065010 hasConcept C2778814252 @default.
- W3205065010 hasConcept C2780385302 @default.
- W3205065010 hasConcept C33884865 @default.
- W3205065010 hasConcept C33923547 @default.
- W3205065010 hasConcept C38652104 @default.
- W3205065010 hasConcept C41008148 @default.
- W3205065010 hasConcept C71924100 @default.
- W3205065010 hasConcept C80444323 @default.
- W3205065010 hasConcept C91399829 @default.
- W3205065010 hasConceptScore W3205065010C120314980 @default.
- W3205065010 hasConceptScore W3205065010C142724271 @default.
- W3205065010 hasConceptScore W3205065010C15927051 @default.
- W3205065010 hasConceptScore W3205065010C165751822 @default.
- W3205065010 hasConceptScore W3205065010C176329583 @default.
- W3205065010 hasConceptScore W3205065010C178489894 @default.
- W3205065010 hasConceptScore W3205065010C204787440 @default.
- W3205065010 hasConceptScore W3205065010C2524010 @default.
- W3205065010 hasConceptScore W3205065010C2777210771 @default.
- W3205065010 hasConceptScore W3205065010C2778814252 @default.
- W3205065010 hasConceptScore W3205065010C2780385302 @default.
- W3205065010 hasConceptScore W3205065010C33884865 @default.
- W3205065010 hasConceptScore W3205065010C33923547 @default.
- W3205065010 hasConceptScore W3205065010C38652104 @default.
- W3205065010 hasConceptScore W3205065010C41008148 @default.
- W3205065010 hasConceptScore W3205065010C71924100 @default.
- W3205065010 hasConceptScore W3205065010C80444323 @default.
- W3205065010 hasConceptScore W3205065010C91399829 @default.
- W3205065010 hasLocation W32050650101 @default.
- W3205065010 hasLocation W32050650102 @default.
- W3205065010 hasOpenAccess W3205065010 @default.
- W3205065010 hasPrimaryLocation W32050650101 @default.
- W3205065010 hasRelatedWork W1604074479 @default.
- W3205065010 hasRelatedWork W2352858694 @default.
- W3205065010 hasRelatedWork W2785078146 @default.
- W3205065010 hasRelatedWork W2953097105 @default.
- W3205065010 hasRelatedWork W2996527948 @default.