Matches in SemOpenAlex for { <https://semopenalex.org/work/W2999804950> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2999804950 abstract "Motivated by the complexity of cryptographic proofs, we propose methods to automate the construction and verification of cryptographic proofs in the standard model. Proofs in the standard model (as opposed to the random oracle model) are the gold standard of cryptographic proofs, and most cryptographic protocols strive to achieve them. The burgeoning complexity of cryptographic proofs implies that such proofs are prone to errors, and are hard to write, much less verify. In this paper, we propose techniques to generate automated proofs for attribute-based encryption schemes in the standard model, building upon a prototype tool, AutoG&P due to Barthe et al. In doing so, we significantly expand the scope of AutoG&P to support a rich set of data types such as multi-dimensional arrays, and constructs commonly used in cryptographic protocols such as monotone-access structures, and linear secret-sharing schemes. We also provide support for a extended class of pairing-based assumptions. We demonstrate the usefulness of our extensions by giving automated proofs of the Lewko et al. attribute-based encryption scheme, and the Waters' ciphertext-policy attribute-based encryption scheme." @default.
- W2999804950 created "2020-01-23" @default.
- W2999804950 creator A5021465374 @default.
- W2999804950 creator A5059603108 @default.
- W2999804950 creator A5067261176 @default.
- W2999804950 date "2019-08-01" @default.
- W2999804950 modified "2023-09-25" @default.
- W2999804950 title "Exploring Automation in Proofs of Attribute-based Encryption in the Standard Model" @default.
- W2999804950 cites W1510795740 @default.
- W2999804950 cites W1517505812 @default.
- W2999804950 cites W177444027 @default.
- W2999804950 cites W18814837 @default.
- W2999804950 cites W1939647617 @default.
- W2999804950 cites W2002789557 @default.
- W2999804950 cites W2015340470 @default.
- W2999804950 cites W2060393385 @default.
- W2999804950 cites W2108978217 @default.
- W2999804950 cites W2898717976 @default.
- W2999804950 doi "https://doi.org/10.1109/pst47121.2019.8949055" @default.
- W2999804950 hasPublicationYear "2019" @default.
- W2999804950 type Work @default.
- W2999804950 sameAs 2999804950 @default.
- W2999804950 citedByCount "0" @default.
- W2999804950 crossrefType "proceedings-article" @default.
- W2999804950 hasAuthorship W2999804950A5021465374 @default.
- W2999804950 hasAuthorship W2999804950A5059603108 @default.
- W2999804950 hasAuthorship W2999804950A5067261176 @default.
- W2999804950 hasConcept C101454708 @default.
- W2999804950 hasConcept C108710211 @default.
- W2999804950 hasConcept C11413529 @default.
- W2999804950 hasConcept C148730421 @default.
- W2999804950 hasConcept C15927051 @default.
- W2999804950 hasConcept C166957645 @default.
- W2999804950 hasConcept C178489894 @default.
- W2999804950 hasConcept C203062551 @default.
- W2999804950 hasConcept C2524010 @default.
- W2999804950 hasConcept C33884865 @default.
- W2999804950 hasConcept C33923547 @default.
- W2999804950 hasConcept C38652104 @default.
- W2999804950 hasConcept C40976572 @default.
- W2999804950 hasConcept C41008148 @default.
- W2999804950 hasConcept C80444323 @default.
- W2999804950 hasConcept C94284585 @default.
- W2999804950 hasConcept C95457728 @default.
- W2999804950 hasConceptScore W2999804950C101454708 @default.
- W2999804950 hasConceptScore W2999804950C108710211 @default.
- W2999804950 hasConceptScore W2999804950C11413529 @default.
- W2999804950 hasConceptScore W2999804950C148730421 @default.
- W2999804950 hasConceptScore W2999804950C15927051 @default.
- W2999804950 hasConceptScore W2999804950C166957645 @default.
- W2999804950 hasConceptScore W2999804950C178489894 @default.
- W2999804950 hasConceptScore W2999804950C203062551 @default.
- W2999804950 hasConceptScore W2999804950C2524010 @default.
- W2999804950 hasConceptScore W2999804950C33884865 @default.
- W2999804950 hasConceptScore W2999804950C33923547 @default.
- W2999804950 hasConceptScore W2999804950C38652104 @default.
- W2999804950 hasConceptScore W2999804950C40976572 @default.
- W2999804950 hasConceptScore W2999804950C41008148 @default.
- W2999804950 hasConceptScore W2999804950C80444323 @default.
- W2999804950 hasConceptScore W2999804950C94284585 @default.
- W2999804950 hasConceptScore W2999804950C95457728 @default.
- W2999804950 hasLocation W29998049501 @default.
- W2999804950 hasOpenAccess W2999804950 @default.
- W2999804950 hasPrimaryLocation W29998049501 @default.
- W2999804950 hasRelatedWork W1592790363 @default.
- W2999804950 hasRelatedWork W1600584910 @default.
- W2999804950 hasRelatedWork W1601043884 @default.
- W2999804950 hasRelatedWork W1670326208 @default.
- W2999804950 hasRelatedWork W2050586071 @default.
- W2999804950 hasRelatedWork W2072824406 @default.
- W2999804950 hasRelatedWork W2096417343 @default.
- W2999804950 hasRelatedWork W2164914526 @default.
- W2999804950 hasRelatedWork W2354379805 @default.
- W2999804950 hasRelatedWork W2406472097 @default.
- W2999804950 hasRelatedWork W2501028697 @default.
- W2999804950 hasRelatedWork W2767083252 @default.
- W2999804950 hasRelatedWork W2896390785 @default.
- W2999804950 hasRelatedWork W2898717976 @default.
- W2999804950 hasRelatedWork W2950345494 @default.
- W2999804950 hasRelatedWork W2954471701 @default.
- W2999804950 hasRelatedWork W3013140221 @default.
- W2999804950 hasRelatedWork W3021436307 @default.
- W2999804950 hasRelatedWork W609944529 @default.
- W2999804950 hasRelatedWork W653442062 @default.
- W2999804950 isParatext "false" @default.
- W2999804950 isRetracted "false" @default.
- W2999804950 magId "2999804950" @default.
- W2999804950 workType "article" @default.