FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W18781025> ?p ?o ?g. }

• W18781025 endingPage "225" @default.
• W18781025 startingPage "206" @default.
• W18781025 abstract "AbstractThe abstraction of cryptographic operations by term algebras, called symbolic models, is essential in almost all tool-supported methods for analyzing security protocols. Significant progress was made in proving that symbolic models offering basic cryptographic operations such as encryption and digital signatures can be sound with respect to actual cryptographic realizations and security definitions. Even abstractions of sophisticated modern cryptographic primitives such as zero-knowledge (ZK) proofs were shown to have a computationally sound cryptographic realization, but only in ad-hoc formalisms and at the cost of placing strong assumptions on the underlying cryptography, which leaves only highly inefficient realizations.In this paper, we make two contributions to this problem space. First, we identify weaker cryptographic assumptions that we show to be sufficient for computational soundness of symbolic ZK proofs. These weaker assumptions are fulfilled by existing efficient ZK schemes as well as generic ZK constructions. Second, we conduct all computational soundness proofs in CoSP, a recent framework that allows for casting computational soundness proofs in a modular manner, independent of the underlying symbolic calculi. Moreover, all computational soundness proofs conducted in CoSP automatically come with mechanized proof support through an embedding of the applied π-calculus.KeywordsSymbolic ModelSymbolic ExecutionNegligible ProbabilityOverwhelming ProbabilityDirect Anonymous AttestationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
• W18781025 created "2016-06-24" @default.
• W18781025 creator A5004014878 @default.
• W18781025 creator A5031883158 @default.
• W18781025 creator A5069321703 @default.
• W18781025 date "2013-01-01" @default.
• W18781025 modified "2023-10-12" @default.
• W18781025 title "Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification" @default.
• W18781025 cites W1480122568 @default.
• W18781025 cites W1503112869 @default.
• W18781025 cites W1508967933 @default.
• W18781025 cites W1548963432 @default.
• W18781025 cites W1581119286 @default.
• W18781025 cites W1913041503 @default.
• W18781025 cites W1970606468 @default.
• W18781025 cites W1978183200 @default.
• W18781025 cites W1994676271 @default.
• W18781025 cites W2029693536 @default.
• W18781025 cites W2040545659 @default.
• W18781025 cites W2074244772 @default.
• W18781025 cites W2080269101 @default.
• W18781025 cites W2127328931 @default.
• W18781025 cites W2132544882 @default.
• W18781025 cites W2148791173 @default.
• W18781025 cites W2149302272 @default.
• W18781025 cites W2155032609 @default.
• W18781025 cites W2159617506 @default.
• W18781025 cites W2163257790 @default.
• W18781025 cites W2168151327 @default.
• W18781025 cites W229476934 @default.
• W18781025 cites W3031048092 @default.
• W18781025 cites W2067560675 @default.
• W18781025 cites W2124639815 @default.
• W18781025 doi "https://doi.org/10.1007/978-3-642-36830-1_11" @default.
• W18781025 hasPublicationYear "2013" @default.
• W18781025 type Work @default.
• W18781025 sameAs 18781025 @default.
• W18781025 citedByCount "6" @default.
• W18781025 countsByYear W187810252014 @default.
• W18781025 countsByYear W187810252015 @default.
• W18781025 countsByYear W187810252016 @default.
• W18781025 crossrefType "book-chapter" @default.
• W18781025 hasAuthorship W18781025A5004014878 @default.
• W18781025 hasAuthorship W18781025A5031883158 @default.
• W18781025 hasAuthorship W18781025A5069321703 @default.
• W18781025 hasBestOaLocation W187810251 @default.
• W18781025 hasConcept C108710211 @default.
• W18781025 hasConcept C111472728 @default.
• W18781025 hasConcept C11413529 @default.
• W18781025 hasConcept C124304363 @default.
• W18781025 hasConcept C138885662 @default.
• W18781025 hasConcept C15927051 @default.
• W18781025 hasConcept C171018156 @default.
• W18781025 hasConcept C176329583 @default.
• W18781025 hasConcept C178489894 @default.
• W18781025 hasConcept C199360897 @default.
• W18781025 hasConcept C2524010 @default.
• W18781025 hasConcept C33884865 @default.
• W18781025 hasConcept C33923547 @default.
• W18781025 hasConcept C39920170 @default.
• W18781025 hasConcept C41008148 @default.
• W18781025 hasConcept C80444323 @default.
• W18781025 hasConceptScore W18781025C108710211 @default.
• W18781025 hasConceptScore W18781025C111472728 @default.
• W18781025 hasConceptScore W18781025C11413529 @default.
• W18781025 hasConceptScore W18781025C124304363 @default.
• W18781025 hasConceptScore W18781025C138885662 @default.
• W18781025 hasConceptScore W18781025C15927051 @default.
• W18781025 hasConceptScore W18781025C171018156 @default.
• W18781025 hasConceptScore W18781025C176329583 @default.
• W18781025 hasConceptScore W18781025C178489894 @default.
• W18781025 hasConceptScore W18781025C199360897 @default.
• W18781025 hasConceptScore W18781025C2524010 @default.
• W18781025 hasConceptScore W18781025C33884865 @default.
• W18781025 hasConceptScore W18781025C33923547 @default.
• W18781025 hasConceptScore W18781025C39920170 @default.
• W18781025 hasConceptScore W18781025C41008148 @default.
• W18781025 hasConceptScore W18781025C80444323 @default.
• W18781025 hasLocation W187810251 @default.
• W18781025 hasOpenAccess W18781025 @default.
• W18781025 hasPrimaryLocation W187810251 @default.
• W18781025 hasRelatedWork W1560144628 @default.
• W18781025 hasRelatedWork W1592444995 @default.
• W18781025 hasRelatedWork W1979215153 @default.
• W18781025 hasRelatedWork W2061404094 @default.
• W18781025 hasRelatedWork W2063161063 @default.
• W18781025 hasRelatedWork W2110648240 @default.
• W18781025 hasRelatedWork W2149302272 @default.
• W18781025 hasRelatedWork W2276270716 @default.
• W18781025 hasRelatedWork W2795301572 @default.
• W18781025 hasRelatedWork W2887615251 @default.
• W18781025 hasRelatedWork W2949178681 @default.
• W18781025 hasRelatedWork W2952519015 @default.
• W18781025 hasRelatedWork W2971407054 @default.
• W18781025 hasRelatedWork W3030344816 @default.
• W18781025 hasRelatedWork W3187382182 @default.
• W18781025 hasRelatedWork W47204537 @default.
• W18781025 hasRelatedWork W584291634 @default.

• next