Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986773882> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1986773882 endingPage "83" @default.
- W1986773882 startingPage "81" @default.
- W1986773882 abstract "Current trends such as cloud computing, smartphones, and the Internet of Things are creating a growing need for security that will be provided by cryptography. As a result, developers are now required to implement cryptography without necessarily developing the expertise needed to do it securely, which will give rise to automated cryptographic analysis." @default.
- W1986773882 created "2016-06-24" @default.
- W1986773882 creator A5019612833 @default.
- W1986773882 date "2015-03-01" @default.
- W1986773882 modified "2023-09-25" @default.
- W1986773882 title "Automated Proof and Flaw-Finding Tools in Cryptography" @default.
- W1986773882 cites W1499994393 @default.
- W1986773882 cites W1972505764 @default.
- W1986773882 cites W2029693536 @default.
- W1986773882 cites W203757321 @default.
- W1986773882 cites W2071929572 @default.
- W1986773882 cites W2077836579 @default.
- W1986773882 cites W2109266092 @default.
- W1986773882 cites W2135654420 @default.
- W1986773882 cites W2145835327 @default.
- W1986773882 cites W2296053137 @default.
- W1986773882 doi "https://doi.org/10.1109/msp.2015.22" @default.
- W1986773882 hasPublicationYear "2015" @default.
- W1986773882 type Work @default.
- W1986773882 sameAs 1986773882 @default.
- W1986773882 citedByCount "0" @default.
- W1986773882 crossrefType "journal-article" @default.
- W1986773882 hasAuthorship W1986773882A5019612833 @default.
- W1986773882 hasConcept C108827166 @default.
- W1986773882 hasConcept C110875604 @default.
- W1986773882 hasConcept C111919701 @default.
- W1986773882 hasConcept C136764020 @default.
- W1986773882 hasConcept C148730421 @default.
- W1986773882 hasConcept C178489894 @default.
- W1986773882 hasConcept C203062551 @default.
- W1986773882 hasConcept C38652104 @default.
- W1986773882 hasConcept C41008148 @default.
- W1986773882 hasConcept C515488857 @default.
- W1986773882 hasConcept C79974875 @default.
- W1986773882 hasConcept C81860439 @default.
- W1986773882 hasConceptScore W1986773882C108827166 @default.
- W1986773882 hasConceptScore W1986773882C110875604 @default.
- W1986773882 hasConceptScore W1986773882C111919701 @default.
- W1986773882 hasConceptScore W1986773882C136764020 @default.
- W1986773882 hasConceptScore W1986773882C148730421 @default.
- W1986773882 hasConceptScore W1986773882C178489894 @default.
- W1986773882 hasConceptScore W1986773882C203062551 @default.
- W1986773882 hasConceptScore W1986773882C38652104 @default.
- W1986773882 hasConceptScore W1986773882C41008148 @default.
- W1986773882 hasConceptScore W1986773882C515488857 @default.
- W1986773882 hasConceptScore W1986773882C79974875 @default.
- W1986773882 hasConceptScore W1986773882C81860439 @default.
- W1986773882 hasIssue "2" @default.
- W1986773882 hasLocation W19867738821 @default.
- W1986773882 hasOpenAccess W1986773882 @default.
- W1986773882 hasPrimaryLocation W19867738821 @default.
- W1986773882 hasRelatedWork W2181649187 @default.
- W1986773882 hasRelatedWork W2389103123 @default.
- W1986773882 hasRelatedWork W2604627048 @default.
- W1986773882 hasRelatedWork W2608118026 @default.
- W1986773882 hasRelatedWork W2621146813 @default.
- W1986773882 hasRelatedWork W2913259440 @default.
- W1986773882 hasRelatedWork W2937393784 @default.
- W1986773882 hasRelatedWork W2964581673 @default.
- W1986773882 hasRelatedWork W2966345893 @default.
- W1986773882 hasRelatedWork W3103518308 @default.
- W1986773882 hasVolume "13" @default.
- W1986773882 isParatext "false" @default.
- W1986773882 isRetracted "false" @default.
- W1986773882 magId "1986773882" @default.
- W1986773882 workType "article" @default.