FRINK Linked Data Fragments server

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

• W97295072 endingPage "112" @default.
• W97295072 startingPage "95" @default.
• W97295072 abstract "We initiate the study of principled, automated, methods for analyzing hardness assumptions in generic group models, following the approach of symbolic cryptography. We start by defining a broad class of generic and symbolic group models for different settings—symmetric or asymmetric (leveled) k-linear groups—and by proving ‘‘computational soundness’’ theorems for the symbolic models. Based on this result, we formulate a very general master theorem that formally relates the hardness of a (possibly interactive) assumption in these models to solving problems in polynomial algebra. Then, we systematically analyze these problems. We identify different classes of assumptions and obtain decidability and undecidability results. Then, we develop and implement automated procedures for verifying the conditions of master theorems, and thus the validity of hardness assumptions in generic group models. The concrete outcome of this work is an automated tool which takes as input the statement of an assumption, and outputs either a proof of its generic hardness or shows an algebraic attack against the assumption." @default.
• W97295072 created "2016-06-24" @default.
• W97295072 creator A5021929586 @default.
• W97295072 creator A5030511364 @default.
• W97295072 creator A5033110633 @default.
• W97295072 creator A5054465062 @default.
• W97295072 creator A5060775456 @default.
• W97295072 creator A5075577852 @default.
• W97295072 date "2014-01-01" @default.
• W97295072 modified "2023-10-16" @default.
• W97295072 title "Automated Analysis of Cryptographic Assumptions in Generic Group Models" @default.
• W97295072 cites W1480909796 @default.
• W97295072 cites W1487683390 @default.
• W97295072 cites W1490394993 @default.
• W97295072 cites W1493060511 @default.
• W97295072 cites W1509956264 @default.
• W97295072 cites W1537692422 @default.
• W97295072 cites W1577653766 @default.
• W97295072 cites W1786980832 @default.
• W97295072 cites W1905774212 @default.
• W97295072 cites W194230529 @default.
• W97295072 cites W1970209803 @default.
• W97295072 cites W2001431231 @default.
• W97295072 cites W2083631211 @default.
• W97295072 cites W2096832922 @default.
• W97295072 cites W2114486737 @default.
• W97295072 cites W2116556172 @default.
• W97295072 cites W2117797270 @default.
• W97295072 cites W2127035198 @default.
• W97295072 cites W2146689848 @default.
• W97295072 cites W2152924492 @default.
• W97295072 cites W2157874741 @default.
• W97295072 cites W2161214158 @default.
• W97295072 cites W2164988972 @default.
• W97295072 cites W2394843291 @default.
• W97295072 cites W283504055 @default.
• W97295072 cites W2913105718 @default.
• W97295072 cites W42122073 @default.
• W97295072 cites W61175307 @default.
• W97295072 cites W97295072 @default.
• W97295072 cites W98969337 @default.
• W97295072 doi "https://doi.org/10.1007/978-3-662-44371-2_6" @default.
• W97295072 hasPublicationYear "2014" @default.
• W97295072 type Work @default.
• W97295072 sameAs 97295072 @default.
• W97295072 citedByCount "27" @default.
• W97295072 countsByYear W972950722014 @default.
• W97295072 countsByYear W972950722015 @default.
• W97295072 countsByYear W972950722016 @default.
• W97295072 countsByYear W972950722017 @default.
• W97295072 countsByYear W972950722018 @default.
• W97295072 countsByYear W972950722019 @default.
• W97295072 countsByYear W972950722020 @default.
• W97295072 countsByYear W972950722021 @default.
• W97295072 countsByYear W972950722022 @default.
• W97295072 countsByYear W972950722023 @default.
• W97295072 crossrefType "book-chapter" @default.
• W97295072 hasAuthorship W97295072A5021929586 @default.
• W97295072 hasAuthorship W97295072A5030511364 @default.
• W97295072 hasAuthorship W97295072A5033110633 @default.
• W97295072 hasAuthorship W97295072A5054465062 @default.
• W97295072 hasAuthorship W97295072A5060775456 @default.
• W97295072 hasAuthorship W97295072A5075577852 @default.
• W97295072 hasBestOaLocation W972950721 @default.
• W97295072 hasConcept C110812573 @default.
• W97295072 hasConcept C11413529 @default.
• W97295072 hasConcept C134306372 @default.
• W97295072 hasConcept C136119220 @default.
• W97295072 hasConcept C153269930 @default.
• W97295072 hasConcept C154945302 @default.
• W97295072 hasConcept C178489894 @default.
• W97295072 hasConcept C178790620 @default.
• W97295072 hasConcept C185592680 @default.
• W97295072 hasConcept C199360897 @default.
• W97295072 hasConcept C202444582 @default.
• W97295072 hasConcept C206880738 @default.
• W97295072 hasConcept C2777212361 @default.
• W97295072 hasConcept C2781311116 @default.
• W97295072 hasConcept C33923547 @default.
• W97295072 hasConcept C39920170 @default.
• W97295072 hasConcept C41008148 @default.
• W97295072 hasConcept C80444323 @default.
• W97295072 hasConcept C9376300 @default.
• W97295072 hasConceptScore W97295072C110812573 @default.
• W97295072 hasConceptScore W97295072C11413529 @default.
• W97295072 hasConceptScore W97295072C134306372 @default.
• W97295072 hasConceptScore W97295072C136119220 @default.
• W97295072 hasConceptScore W97295072C153269930 @default.
• W97295072 hasConceptScore W97295072C154945302 @default.
• W97295072 hasConceptScore W97295072C178489894 @default.
• W97295072 hasConceptScore W97295072C178790620 @default.
• W97295072 hasConceptScore W97295072C185592680 @default.
• W97295072 hasConceptScore W97295072C199360897 @default.
• W97295072 hasConceptScore W97295072C202444582 @default.
• W97295072 hasConceptScore W97295072C206880738 @default.
• W97295072 hasConceptScore W97295072C2777212361 @default.
• W97295072 hasConceptScore W97295072C2781311116 @default.
• W97295072 hasConceptScore W97295072C33923547 @default.

• next