Matches in SemOpenAlex for { <https://semopenalex.org/work/W3122056500> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3122056500 abstract "In the past few years, cryptographic key management APIs have been shown to be subject to tricky attacks based on the improper use of cryptographic keys. In fact, real APIs provide mechanisms to declare the intended use of keys but they are not strong enough to provide key security. In this paper, we propose a simple imperative programming language for specifying strongly-typed APIs for the management of symmetric, asymmetric and signing keys. The language requires that type information is stored together with the key but it is independent of the actual low-level implementation. We develop a type-based analysis to prove the preservation of integrity and confidentiality of sensitive keys and we show that our abstraction is expressive enough to code realistic key management APIs." @default.
- W3122056500 created "2021-02-01" @default.
- W3122056500 creator A5003234860 @default.
- W3122056500 creator A5031937441 @default.
- W3122056500 creator A5056869421 @default.
- W3122056500 date "2013-01-01" @default.
- W3122056500 modified "2023-09-27" @default.
- W3122056500 title "Type-Based Analysis of Generic Key Management APIs" @default.
- W3122056500 cites W137801185 @default.
- W3122056500 cites W1491991545 @default.
- W3122056500 cites W1509083475 @default.
- W3122056500 cites W1514302123 @default.
- W3122056500 cites W1588182391 @default.
- W3122056500 cites W1597184376 @default.
- W3122056500 cites W1721673008 @default.
- W3122056500 cites W1970402795 @default.
- W3122056500 cites W1985453495 @default.
- W3122056500 cites W2054110088 @default.
- W3122056500 cites W2077836579 @default.
- W3122056500 cites W2122049982 @default.
- W3122056500 cites W2125030112 @default.
- W3122056500 cites W2129162180 @default.
- W3122056500 cites W2169819155 @default.
- W3122056500 cites W2260145050 @default.
- W3122056500 cites W2462296223 @default.
- W3122056500 hasPublicationYear "2013" @default.
- W3122056500 type Work @default.
- W3122056500 sameAs 3122056500 @default.
- W3122056500 citedByCount "0" @default.
- W3122056500 crossrefType "posted-content" @default.
- W3122056500 hasAuthorship W3122056500A5003234860 @default.
- W3122056500 hasAuthorship W3122056500A5031937441 @default.
- W3122056500 hasAuthorship W3122056500A5056869421 @default.
- W3122056500 hasConcept C111472728 @default.
- W3122056500 hasConcept C124304363 @default.
- W3122056500 hasConcept C138885662 @default.
- W3122056500 hasConcept C178489894 @default.
- W3122056500 hasConcept C17886624 @default.
- W3122056500 hasConcept C199360897 @default.
- W3122056500 hasConcept C26517878 @default.
- W3122056500 hasConcept C2780586882 @default.
- W3122056500 hasConcept C38652104 @default.
- W3122056500 hasConcept C41008148 @default.
- W3122056500 hasConcept C71745522 @default.
- W3122056500 hasConceptScore W3122056500C111472728 @default.
- W3122056500 hasConceptScore W3122056500C124304363 @default.
- W3122056500 hasConceptScore W3122056500C138885662 @default.
- W3122056500 hasConceptScore W3122056500C178489894 @default.
- W3122056500 hasConceptScore W3122056500C17886624 @default.
- W3122056500 hasConceptScore W3122056500C199360897 @default.
- W3122056500 hasConceptScore W3122056500C26517878 @default.
- W3122056500 hasConceptScore W3122056500C2780586882 @default.
- W3122056500 hasConceptScore W3122056500C38652104 @default.
- W3122056500 hasConceptScore W3122056500C41008148 @default.
- W3122056500 hasConceptScore W3122056500C71745522 @default.
- W3122056500 hasLocation W31220565001 @default.
- W3122056500 hasOpenAccess W3122056500 @default.
- W3122056500 hasPrimaryLocation W31220565001 @default.
- W3122056500 hasRelatedWork W118637762 @default.
- W3122056500 hasRelatedWork W1511960439 @default.
- W3122056500 hasRelatedWork W151733197 @default.
- W3122056500 hasRelatedWork W1518401470 @default.
- W3122056500 hasRelatedWork W1607337378 @default.
- W3122056500 hasRelatedWork W1970402795 @default.
- W3122056500 hasRelatedWork W2016321105 @default.
- W3122056500 hasRelatedWork W2077610397 @default.
- W3122056500 hasRelatedWork W2135249212 @default.
- W3122056500 hasRelatedWork W2167272956 @default.
- W3122056500 hasRelatedWork W2180277696 @default.
- W3122056500 hasRelatedWork W2237653119 @default.
- W3122056500 hasRelatedWork W2509928903 @default.
- W3122056500 hasRelatedWork W2618263915 @default.
- W3122056500 hasRelatedWork W276122060 @default.
- W3122056500 hasRelatedWork W2788178296 @default.
- W3122056500 hasRelatedWork W2967741890 @default.
- W3122056500 hasRelatedWork W2994818600 @default.
- W3122056500 hasRelatedWork W3022774529 @default.
- W3122056500 hasRelatedWork W3028692532 @default.
- W3122056500 isParatext "false" @default.
- W3122056500 isRetracted "false" @default.
- W3122056500 magId "3122056500" @default.
- W3122056500 workType "article" @default.