Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040200723> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2040200723 abstract "I examine the use of automated theorem-proving for reductionist security arguments in cryptography and discuss three papers that purport to show the potential of computer-assisted proof-writing and proof-checking. I look at the proofs that the authors give to illustrate the “game-hopping” technique — for Full-Domain Hash signatures, ElGamal encryption, and Cramer-Shoup encryption — and ask whether there is evidence that automated theorem-proving can contribute anything of value to the security analysis of cryptographic protocols." @default.
- W2040200723 created "2016-06-24" @default.
- W2040200723 creator A5077509996 @default.
- W2040200723 date "2007-01-01" @default.
- W2040200723 modified "2023-10-17" @default.
- W2040200723 title "Another look at automated theorem-proving" @default.
- W2040200723 cites W1488807031 @default.
- W2040200723 cites W1550910269 @default.
- W2040200723 cites W1603600847 @default.
- W2040200723 cites W1805549252 @default.
- W2040200723 cites W1968720963 @default.
- W2040200723 cites W2029693536 @default.
- W2040200723 cites W2101803085 @default.
- W2040200723 cites W2110172854 @default.
- W2040200723 cites W2117455301 @default.
- W2040200723 cites W2157679418 @default.
- W2040200723 cites W2159047178 @default.
- W2040200723 cites W2172194269 @default.
- W2040200723 cites W2955609830 @default.
- W2040200723 cites W4210300416 @default.
- W2040200723 doi "https://doi.org/10.1515/jmc.2007.020" @default.
- W2040200723 hasPublicationYear "2007" @default.
- W2040200723 type Work @default.
- W2040200723 sameAs 2040200723 @default.
- W2040200723 citedByCount "9" @default.
- W2040200723 countsByYear W20402007232012 @default.
- W2040200723 countsByYear W20402007232013 @default.
- W2040200723 countsByYear W20402007232015 @default.
- W2040200723 countsByYear W20402007232016 @default.
- W2040200723 countsByYear W20402007232017 @default.
- W2040200723 countsByYear W20402007232020 @default.
- W2040200723 crossrefType "journal-article" @default.
- W2040200723 hasAuthorship W2040200723A5077509996 @default.
- W2040200723 hasBestOaLocation W20402007231 @default.
- W2040200723 hasConcept C118615104 @default.
- W2040200723 hasConcept C136119220 @default.
- W2040200723 hasConcept C144237770 @default.
- W2040200723 hasConcept C199343813 @default.
- W2040200723 hasConcept C199360897 @default.
- W2040200723 hasConcept C202444582 @default.
- W2040200723 hasConcept C206880738 @default.
- W2040200723 hasConcept C2777686260 @default.
- W2040200723 hasConcept C33923547 @default.
- W2040200723 hasConcept C41008148 @default.
- W2040200723 hasConcept C71924100 @default.
- W2040200723 hasConceptScore W2040200723C118615104 @default.
- W2040200723 hasConceptScore W2040200723C136119220 @default.
- W2040200723 hasConceptScore W2040200723C144237770 @default.
- W2040200723 hasConceptScore W2040200723C199343813 @default.
- W2040200723 hasConceptScore W2040200723C199360897 @default.
- W2040200723 hasConceptScore W2040200723C202444582 @default.
- W2040200723 hasConceptScore W2040200723C206880738 @default.
- W2040200723 hasConceptScore W2040200723C2777686260 @default.
- W2040200723 hasConceptScore W2040200723C33923547 @default.
- W2040200723 hasConceptScore W2040200723C41008148 @default.
- W2040200723 hasConceptScore W2040200723C71924100 @default.
- W2040200723 hasIssue "4" @default.
- W2040200723 hasLocation W20402007231 @default.
- W2040200723 hasLocation W20402007232 @default.
- W2040200723 hasOpenAccess W2040200723 @default.
- W2040200723 hasPrimaryLocation W20402007231 @default.
- W2040200723 hasRelatedWork W2109507516 @default.
- W2040200723 hasRelatedWork W2112962394 @default.
- W2040200723 hasRelatedWork W2118300983 @default.
- W2040200723 hasRelatedWork W2166247150 @default.
- W2040200723 hasRelatedWork W2740990710 @default.
- W2040200723 hasRelatedWork W2949403236 @default.
- W2040200723 hasRelatedWork W3017269122 @default.
- W2040200723 hasRelatedWork W3137189469 @default.
- W2040200723 hasRelatedWork W4235530921 @default.
- W2040200723 hasRelatedWork W4243252198 @default.
- W2040200723 hasVolume "1" @default.
- W2040200723 isParatext "false" @default.
- W2040200723 isRetracted "false" @default.
- W2040200723 magId "2040200723" @default.
- W2040200723 workType "article" @default.