FRINK Linked Data Fragments server

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

• W1997771835 abstract "Bilinear pairings are powerful mathematical structures that can be used in cryptography. Their equational properties allow constructing cryptographic primitives and protocols that would be otherwise ineffective or even impossible. In formal cryptography, the protocols are expressed through term algebras and process calculi. ProVerif, one of the most successful protocol analyzers, internally converts them to Horn theories for the analysis. This approach cannot easily deal with complex equational theories. In this paper, we propose an equational theory that models bilinear pairings in formal cryptography. We also propose a reduction from the derivation problem for Horn theories modulo this equational theory to (almost) purely syntactical derivation problem for Horn theories. This derivation problem can be readily tackled by ProVerif. We have implemented our analysis and have demonstrated that it is able to handle several secure and insecure protocols based on bilinear pairings. Our approach mostly follows Kusters's and Truderung's handling of Diffie-Hellman exponentiation. The greater complexity of the theory for bilinear pairings introduces several complications, the arithmetic properties of exponentiation play a much bigger role in our reduction. Still, our approach has the same kind of generality as theirs. Similarly to their approach, we do not treat the group operations as (independent) term constructors. But we show that access to those operations will not increase the power of the adversary." @default.
• W1997771835 created "2016-06-24" @default.
• W1997771835 creator A5009632286 @default.
• W1997771835 creator A5038628451 @default.
• W1997771835 date "2012-06-01" @default.
• W1997771835 modified "2023-09-24" @default.
• W1997771835 title "Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings" @default.
• W1997771835 cites W1508967933 @default.
• W1997771835 cites W1532836984 @default.
• W1997771835 cites W1583362816 @default.
• W1997771835 cites W1619779852 @default.
• W1997771835 cites W1637905077 @default.
• W1997771835 cites W1643928249 @default.
• W1997771835 cites W1677494909 @default.
• W1997771835 cites W1986421612 @default.
• W1997771835 cites W1990227598 @default.
• W1997771835 cites W1997771835 @default.
• W1997771835 cites W2016142193 @default.
• W1997771835 cites W2029693536 @default.
• W1997771835 cites W2029851387 @default.
• W1997771835 cites W2055259417 @default.
• W1997771835 cites W2098996144 @default.
• W1997771835 cites W2107561818 @default.
• W1997771835 cites W2114189125 @default.
• W1997771835 cites W2117684745 @default.
• W1997771835 cites W2118778876 @default.
• W1997771835 cites W2127035198 @default.
• W1997771835 cites W2141219978 @default.
• W1997771835 cites W2152924492 @default.
• W1997771835 cites W2155230502 @default.
• W1997771835 cites W2161214567 @default.
• W1997771835 cites W2181500614 @default.
• W1997771835 cites W4210300416 @default.
• W1997771835 cites W4240945145 @default.
• W1997771835 cites W1530591198 @default.
• W1997771835 doi "https://doi.org/10.1109/csf.2012.10" @default.
• W1997771835 hasPublicationYear "2012" @default.
• W1997771835 type Work @default.
• W1997771835 sameAs 1997771835 @default.
• W1997771835 citedByCount "9" @default.
• W1997771835 countsByYear W19977718352012 @default.
• W1997771835 countsByYear W19977718352013 @default.
• W1997771835 countsByYear W19977718352014 @default.
• W1997771835 countsByYear W19977718352016 @default.
• W1997771835 countsByYear W19977718352017 @default.
• W1997771835 crossrefType "proceedings-article" @default.
• W1997771835 hasAuthorship W1997771835A5009632286 @default.
• W1997771835 hasAuthorship W1997771835A5038628451 @default.
• W1997771835 hasConcept C111335779 @default.
• W1997771835 hasConcept C134306372 @default.
• W1997771835 hasConcept C142724271 @default.
• W1997771835 hasConcept C15744967 @default.
• W1997771835 hasConcept C15927051 @default.
• W1997771835 hasConcept C178489894 @default.
• W1997771835 hasConcept C204787440 @default.
• W1997771835 hasConcept C205203396 @default.
• W1997771835 hasConcept C2524010 @default.
• W1997771835 hasConcept C2780385302 @default.
• W1997771835 hasConcept C2780767217 @default.
• W1997771835 hasConcept C31972630 @default.
• W1997771835 hasConcept C33884865 @default.
• W1997771835 hasConcept C33923547 @default.
• W1997771835 hasConcept C38652104 @default.
• W1997771835 hasConcept C41008148 @default.
• W1997771835 hasConcept C542102704 @default.
• W1997771835 hasConcept C71924100 @default.
• W1997771835 hasConcept C80444323 @default.
• W1997771835 hasConcept C81539297 @default.
• W1997771835 hasConceptScore W1997771835C111335779 @default.
• W1997771835 hasConceptScore W1997771835C134306372 @default.
• W1997771835 hasConceptScore W1997771835C142724271 @default.
• W1997771835 hasConceptScore W1997771835C15744967 @default.
• W1997771835 hasConceptScore W1997771835C15927051 @default.
• W1997771835 hasConceptScore W1997771835C178489894 @default.
• W1997771835 hasConceptScore W1997771835C204787440 @default.
• W1997771835 hasConceptScore W1997771835C205203396 @default.
• W1997771835 hasConceptScore W1997771835C2524010 @default.
• W1997771835 hasConceptScore W1997771835C2780385302 @default.
• W1997771835 hasConceptScore W1997771835C2780767217 @default.
• W1997771835 hasConceptScore W1997771835C31972630 @default.
• W1997771835 hasConceptScore W1997771835C33884865 @default.
• W1997771835 hasConceptScore W1997771835C33923547 @default.
• W1997771835 hasConceptScore W1997771835C38652104 @default.
• W1997771835 hasConceptScore W1997771835C41008148 @default.
• W1997771835 hasConceptScore W1997771835C542102704 @default.
• W1997771835 hasConceptScore W1997771835C71924100 @default.
• W1997771835 hasConceptScore W1997771835C80444323 @default.
• W1997771835 hasConceptScore W1997771835C81539297 @default.
• W1997771835 hasLocation W19977718351 @default.
• W1997771835 hasOpenAccess W1997771835 @default.
• W1997771835 hasPrimaryLocation W19977718351 @default.
• W1997771835 hasRelatedWork W1599617995 @default.
• W1997771835 hasRelatedWork W1843540884 @default.
• W1997771835 hasRelatedWork W2134477803 @default.
• W1997771835 hasRelatedWork W2258341651 @default.
• W1997771835 hasRelatedWork W2292991006 @default.
• W1997771835 hasRelatedWork W2505612108 @default.
• W1997771835 hasRelatedWork W2945251958 @default.
• W1997771835 hasRelatedWork W49795745 @default.
• W1997771835 hasRelatedWork W9022780 @default.

• next