Matches in SemOpenAlex for { <https://semopenalex.org/work/W4290474734> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4290474734 abstract "This paper contributes to broaden the discussion on tools and techniques in cryptographic programming and verification. The paper accomplishes three goals: (i) surveys recent advances in supporting tools for cryptographic software programming and verification; (ii) associates these tools to current security practices; and (iii) organizes their use into software programming and verification steps. The paper concludes that there is no single tool for secure development of cryptographic software. Instead, only a well-crafted toolkit can cover the whole landscape of secure cryptographic software coding and verification." @default.
- W4290474734 created "2022-08-08" @default.
- W4290474734 creator A5029184440 @default.
- W4290474734 creator A5077598713 @default.
- W4290474734 date "2015-11-09" @default.
- W4290474734 modified "2023-09-30" @default.
- W4290474734 title "A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software" @default.
- W4290474734 doi "https://doi.org/10.5753/sbseg.2015.20083" @default.
- W4290474734 hasPublicationYear "2015" @default.
- W4290474734 type Work @default.
- W4290474734 citedByCount "1" @default.
- W4290474734 countsByYear W42904747342017 @default.
- W4290474734 crossrefType "proceedings-article" @default.
- W4290474734 hasAuthorship W4290474734A5029184440 @default.
- W4290474734 hasAuthorship W4290474734A5077598713 @default.
- W4290474734 hasBestOaLocation W42904747341 @default.
- W4290474734 hasConcept C115903868 @default.
- W4290474734 hasConcept C15927051 @default.
- W4290474734 hasConcept C178489894 @default.
- W4290474734 hasConcept C186846655 @default.
- W4290474734 hasConcept C199360897 @default.
- W4290474734 hasConcept C22680326 @default.
- W4290474734 hasConcept C2777904410 @default.
- W4290474734 hasConcept C29983905 @default.
- W4290474734 hasConcept C33054407 @default.
- W4290474734 hasConcept C33884865 @default.
- W4290474734 hasConcept C38652104 @default.
- W4290474734 hasConcept C41008148 @default.
- W4290474734 hasConcept C527648132 @default.
- W4290474734 hasConcept C529173508 @default.
- W4290474734 hasConcept C62913178 @default.
- W4290474734 hasConceptScore W4290474734C115903868 @default.
- W4290474734 hasConceptScore W4290474734C15927051 @default.
- W4290474734 hasConceptScore W4290474734C178489894 @default.
- W4290474734 hasConceptScore W4290474734C186846655 @default.
- W4290474734 hasConceptScore W4290474734C199360897 @default.
- W4290474734 hasConceptScore W4290474734C22680326 @default.
- W4290474734 hasConceptScore W4290474734C2777904410 @default.
- W4290474734 hasConceptScore W4290474734C29983905 @default.
- W4290474734 hasConceptScore W4290474734C33054407 @default.
- W4290474734 hasConceptScore W4290474734C33884865 @default.
- W4290474734 hasConceptScore W4290474734C38652104 @default.
- W4290474734 hasConceptScore W4290474734C41008148 @default.
- W4290474734 hasConceptScore W4290474734C527648132 @default.
- W4290474734 hasConceptScore W4290474734C529173508 @default.
- W4290474734 hasConceptScore W4290474734C62913178 @default.
- W4290474734 hasLocation W42904747341 @default.
- W4290474734 hasOpenAccess W4290474734 @default.
- W4290474734 hasPrimaryLocation W42904747341 @default.
- W4290474734 hasRelatedWork W1491549471 @default.
- W4290474734 hasRelatedWork W1502610071 @default.
- W4290474734 hasRelatedWork W1530577790 @default.
- W4290474734 hasRelatedWork W1560452731 @default.
- W4290474734 hasRelatedWork W1599521561 @default.
- W4290474734 hasRelatedWork W2397688157 @default.
- W4290474734 hasRelatedWork W2505612108 @default.
- W4290474734 hasRelatedWork W2590214825 @default.
- W4290474734 hasRelatedWork W2801596938 @default.
- W4290474734 hasRelatedWork W3179891621 @default.
- W4290474734 isParatext "false" @default.
- W4290474734 isRetracted "false" @default.
- W4290474734 workType "article" @default.