Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015340470> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2015340470 abstract "Analyzing cryptographic constructions in the computational model, or simply verifying the correctness of security proofs, are complex and error-prone tasks. Although computer tools have significant potential to increase confidence in security proofs and to reduce the time for building these proofs, existing tools are either limited in scope, or can only be used by formal methods experts, and have a significant overhead. In effect, it has remained a challenge to design usable and intuitive tools for building and verifying cryptographic proofs, especially for more advanced fields such as pairing-based or lattice-based cryptography." @default.
- W2015340470 created "2016-06-24" @default.
- W2015340470 creator A5015166077 @default.
- W2015340470 creator A5033110633 @default.
- W2015340470 creator A5087283928 @default.
- W2015340470 date "2015-10-12" @default.
- W2015340470 modified "2023-09-23" @default.
- W2015340470 title "Automated Proofs of Pairing-Based Cryptography" @default.
- W2015340470 cites W1017092621 @default.
- W2015340470 cites W1484751769 @default.
- W2015340470 cites W1586929125 @default.
- W2015340470 cites W1603256047 @default.
- W2015340470 cites W1603878273 @default.
- W2015340470 cites W1628745019 @default.
- W2015340470 cites W1684724692 @default.
- W2015340470 cites W170174611 @default.
- W2015340470 cites W1939647617 @default.
- W2015340470 cites W2002789557 @default.
- W2015340470 cites W2008285956 @default.
- W2015340470 cites W2011086847 @default.
- W2015340470 cites W2036714652 @default.
- W2015340470 cites W2039683463 @default.
- W2015340470 cites W2050586071 @default.
- W2015340470 cites W2092107726 @default.
- W2015340470 cites W2108978217 @default.
- W2015340470 cites W2114965623 @default.
- W2015340470 cites W2117685508 @default.
- W2015340470 cites W2122987162 @default.
- W2015340470 cites W2127697876 @default.
- W2015340470 cites W2146689848 @default.
- W2015340470 cites W2157417930 @default.
- W2015340470 cites W2342410406 @default.
- W2015340470 cites W2394843291 @default.
- W2015340470 cites W2397835572 @default.
- W2015340470 cites W49963507 @default.
- W2015340470 cites W7540341 @default.
- W2015340470 doi "https://doi.org/10.1145/2810103.2813697" @default.
- W2015340470 hasPublicationYear "2015" @default.
- W2015340470 type Work @default.
- W2015340470 sameAs 2015340470 @default.
- W2015340470 citedByCount "18" @default.
- W2015340470 countsByYear W20153404702016 @default.
- W2015340470 countsByYear W20153404702017 @default.
- W2015340470 countsByYear W20153404702018 @default.
- W2015340470 countsByYear W20153404702019 @default.
- W2015340470 countsByYear W20153404702020 @default.
- W2015340470 countsByYear W20153404702021 @default.
- W2015340470 countsByYear W20153404702023 @default.
- W2015340470 crossrefType "proceedings-article" @default.
- W2015340470 hasAuthorship W2015340470A5015166077 @default.
- W2015340470 hasAuthorship W2015340470A5033110633 @default.
- W2015340470 hasAuthorship W2015340470A5087283928 @default.
- W2015340470 hasConcept C108710211 @default.
- W2015340470 hasConcept C136764020 @default.
- W2015340470 hasConcept C15927051 @default.
- W2015340470 hasConcept C178489894 @default.
- W2015340470 hasConcept C199360897 @default.
- W2015340470 hasConcept C2524010 @default.
- W2015340470 hasConcept C2780615836 @default.
- W2015340470 hasConcept C33884865 @default.
- W2015340470 hasConcept C33923547 @default.
- W2015340470 hasConcept C38652104 @default.
- W2015340470 hasConcept C41008148 @default.
- W2015340470 hasConcept C55439883 @default.
- W2015340470 hasConcept C80444323 @default.
- W2015340470 hasConceptScore W2015340470C108710211 @default.
- W2015340470 hasConceptScore W2015340470C136764020 @default.
- W2015340470 hasConceptScore W2015340470C15927051 @default.
- W2015340470 hasConceptScore W2015340470C178489894 @default.
- W2015340470 hasConceptScore W2015340470C199360897 @default.
- W2015340470 hasConceptScore W2015340470C2524010 @default.
- W2015340470 hasConceptScore W2015340470C2780615836 @default.
- W2015340470 hasConceptScore W2015340470C33884865 @default.
- W2015340470 hasConceptScore W2015340470C33923547 @default.
- W2015340470 hasConceptScore W2015340470C38652104 @default.
- W2015340470 hasConceptScore W2015340470C41008148 @default.
- W2015340470 hasConceptScore W2015340470C55439883 @default.
- W2015340470 hasConceptScore W2015340470C80444323 @default.
- W2015340470 hasFunder F4320337345 @default.
- W2015340470 hasLocation W20153404701 @default.
- W2015340470 hasLocation W20153404702 @default.
- W2015340470 hasOpenAccess W2015340470 @default.
- W2015340470 hasPrimaryLocation W20153404701 @default.
- W2015340470 hasRelatedWork W1491103038 @default.
- W2015340470 hasRelatedWork W1586131529 @default.
- W2015340470 hasRelatedWork W1588492604 @default.
- W2015340470 hasRelatedWork W2015340470 @default.
- W2015340470 hasRelatedWork W2077901621 @default.
- W2015340470 hasRelatedWork W2293021588 @default.
- W2015340470 hasRelatedWork W2351521370 @default.
- W2015340470 hasRelatedWork W2505612108 @default.
- W2015340470 hasRelatedWork W2911487006 @default.
- W2015340470 hasRelatedWork W2949937073 @default.
- W2015340470 isParatext "false" @default.
- W2015340470 isRetracted "false" @default.
- W2015340470 magId "2015340470" @default.
- W2015340470 workType "article" @default.