Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951663984> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2951663984 startingPage "590" @default.
- W2951663984 abstract "Structure-preserving signature schemes can be very useful in the construction of new cryptographic operations like blind signatures. Recently several of these schemes have been proposed. The security of signature-preserving signature schemes is still proved by hand, which can be a laborious task. One of the ways to prove security of these schemes algebraic analysis can be used. We present an approach to perform this analysis and the first tool, CheckSPS , that can do an algebraic security analysis of these schemes, using SMT solvers as backend. This can help in constructing new schemes and analyse existing schemes. Our tool can handle all the common security objectives for signature schemes, i.e. existential unforgeability and strong existential unforgeability, and all the common capabilities for adversaries, i.e. random message attacks, non-adaptive chosen message attacks and adaptive chosen message attacks. The tool is sound, so if an attack is found it is actually possible to construct a forged signature." @default.
- W2951663984 created "2019-06-27" @default.
- W2951663984 creator A5028584606 @default.
- W2951663984 creator A5035995544 @default.
- W2951663984 date "2014-01-01" @default.
- W2951663984 modified "2023-09-26" @default.
- W2951663984 title "Automated algebraic analysis of structure-preserving signature schemes" @default.
- W2951663984 cites W125097325 @default.
- W2951663984 cites W1480909796 @default.
- W2951663984 cites W1527414074 @default.
- W2951663984 cites W1548963432 @default.
- W2951663984 cites W1549517332 @default.
- W2951663984 cites W174958306 @default.
- W2951663984 cites W1752249963 @default.
- W2951663984 cites W177306140 @default.
- W2951663984 cites W1959766941 @default.
- W2951663984 cites W2026892462 @default.
- W2951663984 cites W2089537103 @default.
- W2951663984 cites W2114189125 @default.
- W2951663984 cites W2131235219 @default.
- W2951663984 cites W2131388963 @default.
- W2951663984 cites W2157417930 @default.
- W2951663984 cites W2184713187 @default.
- W2951663984 cites W2222086599 @default.
- W2951663984 cites W2404371125 @default.
- W2951663984 cites W2587941968 @default.
- W2951663984 hasPublicationYear "2014" @default.
- W2951663984 type Work @default.
- W2951663984 sameAs 2951663984 @default.
- W2951663984 citedByCount "1" @default.
- W2951663984 countsByYear W29516639842015 @default.
- W2951663984 crossrefType "posted-content" @default.
- W2951663984 hasAuthorship W2951663984A5028584606 @default.
- W2951663984 hasAuthorship W2951663984A5035995544 @default.
- W2951663984 hasConcept C11413529 @default.
- W2951663984 hasConcept C134306372 @default.
- W2951663984 hasConcept C178489894 @default.
- W2951663984 hasConcept C182419690 @default.
- W2951663984 hasConcept C199360897 @default.
- W2951663984 hasConcept C202444582 @default.
- W2951663984 hasConcept C2524010 @default.
- W2951663984 hasConcept C2779696439 @default.
- W2951663984 hasConcept C2780801425 @default.
- W2951663984 hasConcept C33923547 @default.
- W2951663984 hasConcept C38652104 @default.
- W2951663984 hasConcept C41008148 @default.
- W2951663984 hasConcept C80444323 @default.
- W2951663984 hasConcept C9376300 @default.
- W2951663984 hasConceptScore W2951663984C11413529 @default.
- W2951663984 hasConceptScore W2951663984C134306372 @default.
- W2951663984 hasConceptScore W2951663984C178489894 @default.
- W2951663984 hasConceptScore W2951663984C182419690 @default.
- W2951663984 hasConceptScore W2951663984C199360897 @default.
- W2951663984 hasConceptScore W2951663984C202444582 @default.
- W2951663984 hasConceptScore W2951663984C2524010 @default.
- W2951663984 hasConceptScore W2951663984C2779696439 @default.
- W2951663984 hasConceptScore W2951663984C2780801425 @default.
- W2951663984 hasConceptScore W2951663984C33923547 @default.
- W2951663984 hasConceptScore W2951663984C38652104 @default.
- W2951663984 hasConceptScore W2951663984C41008148 @default.
- W2951663984 hasConceptScore W2951663984C80444323 @default.
- W2951663984 hasConceptScore W2951663984C9376300 @default.
- W2951663984 hasLocation W29516639841 @default.
- W2951663984 hasOpenAccess W2951663984 @default.
- W2951663984 hasPrimaryLocation W29516639841 @default.
- W2951663984 hasRelatedWork W130564500 @default.
- W2951663984 hasRelatedWork W1535554763 @default.
- W2951663984 hasRelatedWork W1807462631 @default.
- W2951663984 hasRelatedWork W1866385404 @default.
- W2951663984 hasRelatedWork W1977254827 @default.
- W2951663984 hasRelatedWork W2296696739 @default.
- W2951663984 hasRelatedWork W2401940224 @default.
- W2951663984 hasRelatedWork W2549895856 @default.
- W2951663984 hasRelatedWork W2799364322 @default.
- W2951663984 hasRelatedWork W2890411345 @default.
- W2951663984 hasRelatedWork W2949381697 @default.
- W2951663984 hasRelatedWork W2949711598 @default.
- W2951663984 hasRelatedWork W2950088956 @default.
- W2951663984 hasRelatedWork W2951231285 @default.
- W2951663984 hasRelatedWork W2995735395 @default.
- W2951663984 hasRelatedWork W2999104131 @default.
- W2951663984 hasRelatedWork W3008728422 @default.
- W2951663984 hasRelatedWork W3049054937 @default.
- W2951663984 hasRelatedWork W3099551961 @default.
- W2951663984 hasRelatedWork W1571111051 @default.
- W2951663984 hasVolume "2014" @default.
- W2951663984 isParatext "false" @default.
- W2951663984 isRetracted "false" @default.
- W2951663984 magId "2951663984" @default.
- W2951663984 workType "article" @default.