Matches in SemOpenAlex for { <https://semopenalex.org/work/W136315063> ?p ?o ?g. }
- W136315063 abstract "Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower level of security have been proposed. Providing security proofs has also become standard practice. There is, however, a lack of automated verification procedures that analyse such crypto systems and provide security proofs. This paper presents an automated procedure for analysing generic asymmetric encryption schemes in the random oracle model. It has been applied to several examples of encryption schemes." @default.
- W136315063 created "2016-06-24" @default.
- W136315063 creator A5005219814 @default.
- W136315063 creator A5008421707 @default.
- W136315063 creator A5046772422 @default.
- W136315063 creator A5090935369 @default.
- W136315063 creator A5024799131 @default.
- W136315063 date "2008-01-01" @default.
- W136315063 modified "2023-09-27" @default.
- W136315063 title "Automated Proofs for Asymmetric Encryption: First results in the random oracle model" @default.
- W136315063 cites W147273938 @default.
- W136315063 cites W1505522548 @default.
- W136315063 cites W1525737403 @default.
- W136315063 cites W1552695147 @default.
- W136315063 cites W1594742286 @default.
- W136315063 cites W1606603814 @default.
- W136315063 cites W1871739018 @default.
- W136315063 cites W187962066 @default.
- W136315063 cites W1979215153 @default.
- W136315063 cites W2052267638 @default.
- W136315063 cites W2106218479 @default.
- W136315063 cites W2108978217 @default.
- W136315063 cites W2109365488 @default.
- W136315063 cites W2110142351 @default.
- W136315063 cites W2110172854 @default.
- W136315063 cites W2111653222 @default.
- W136315063 cites W2113999696 @default.
- W136315063 cites W2126878966 @default.
- W136315063 cites W2135000443 @default.
- W136315063 cites W2161195863 @default.
- W136315063 cites W2404275717 @default.
- W136315063 cites W2914157499 @default.
- W136315063 cites W2509145317 @default.
- W136315063 cites W2613178327 @default.
- W136315063 cites W2613409654 @default.
- W136315063 hasPublicationYear "2008" @default.
- W136315063 type Work @default.
- W136315063 sameAs 136315063 @default.
- W136315063 citedByCount "0" @default.
- W136315063 crossrefType "journal-article" @default.
- W136315063 hasAuthorship W136315063A5005219814 @default.
- W136315063 hasAuthorship W136315063A5008421707 @default.
- W136315063 hasAuthorship W136315063A5024799131 @default.
- W136315063 hasAuthorship W136315063A5046772422 @default.
- W136315063 hasAuthorship W136315063A5090935369 @default.
- W136315063 hasConcept C101454708 @default.
- W136315063 hasConcept C108710211 @default.
- W136315063 hasConcept C119133118 @default.
- W136315063 hasConcept C148730421 @default.
- W136315063 hasConcept C166957645 @default.
- W136315063 hasConcept C184685986 @default.
- W136315063 hasConcept C203062551 @default.
- W136315063 hasConcept C204806902 @default.
- W136315063 hasConcept C2524010 @default.
- W136315063 hasConcept C33923547 @default.
- W136315063 hasConcept C38652104 @default.
- W136315063 hasConcept C40976572 @default.
- W136315063 hasConcept C41008148 @default.
- W136315063 hasConcept C46905813 @default.
- W136315063 hasConcept C54569210 @default.
- W136315063 hasConcept C57795399 @default.
- W136315063 hasConcept C6295992 @default.
- W136315063 hasConcept C7646194 @default.
- W136315063 hasConcept C80444323 @default.
- W136315063 hasConcept C93974786 @default.
- W136315063 hasConcept C94284585 @default.
- W136315063 hasConcept C95457728 @default.
- W136315063 hasConceptScore W136315063C101454708 @default.
- W136315063 hasConceptScore W136315063C108710211 @default.
- W136315063 hasConceptScore W136315063C119133118 @default.
- W136315063 hasConceptScore W136315063C148730421 @default.
- W136315063 hasConceptScore W136315063C166957645 @default.
- W136315063 hasConceptScore W136315063C184685986 @default.
- W136315063 hasConceptScore W136315063C203062551 @default.
- W136315063 hasConceptScore W136315063C204806902 @default.
- W136315063 hasConceptScore W136315063C2524010 @default.
- W136315063 hasConceptScore W136315063C33923547 @default.
- W136315063 hasConceptScore W136315063C38652104 @default.
- W136315063 hasConceptScore W136315063C40976572 @default.
- W136315063 hasConceptScore W136315063C41008148 @default.
- W136315063 hasConceptScore W136315063C46905813 @default.
- W136315063 hasConceptScore W136315063C54569210 @default.
- W136315063 hasConceptScore W136315063C57795399 @default.
- W136315063 hasConceptScore W136315063C6295992 @default.
- W136315063 hasConceptScore W136315063C7646194 @default.
- W136315063 hasConceptScore W136315063C80444323 @default.
- W136315063 hasConceptScore W136315063C93974786 @default.
- W136315063 hasConceptScore W136315063C94284585 @default.
- W136315063 hasConceptScore W136315063C95457728 @default.
- W136315063 hasLocation W1363150631 @default.
- W136315063 hasOpenAccess W136315063 @default.
- W136315063 hasPrimaryLocation W1363150631 @default.
- W136315063 hasRelatedWork W1603778258 @default.
- W136315063 hasRelatedWork W1687167769 @default.
- W136315063 hasRelatedWork W1805451635 @default.
- W136315063 hasRelatedWork W1974011207 @default.
- W136315063 hasRelatedWork W1991680888 @default.
- W136315063 hasRelatedWork W2002789557 @default.
- W136315063 hasRelatedWork W2058800472 @default.
- W136315063 hasRelatedWork W2070653277 @default.