Matches in SemOpenAlex for { <https://semopenalex.org/work/W2286317969> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2286317969 abstract "We revise a known attack on the PIN verification framework, based on a weakness of the underlying security API. We specify this flawed API in an imperative language with cryptographic primitives and we show why its type-based verification fails in the type system of Myers, Sabelfeld and Zdancewic. We propose an improved API, extend the type system with cryptographic primitives for assuring integrity, and show our new API to be type-checkable. (for presentation only)" @default.
- W2286317969 created "2016-06-24" @default.
- W2286317969 creator A5009623067 @default.
- W2286317969 creator A5019612833 @default.
- W2286317969 creator A5031937441 @default.
- W2286317969 creator A5056869421 @default.
- W2286317969 date "2009-01-01" @default.
- W2286317969 modified "2023-09-24" @default.
- W2286317969 title "Type-based Analysis of Financial APIs" @default.
- W2286317969 cites W1534212008 @default.
- W2286317969 cites W1566845623 @default.
- W2286317969 cites W1967444160 @default.
- W2286317969 cites W203757321 @default.
- W2286317969 cites W2066959490 @default.
- W2286317969 cites W2115923606 @default.
- W2286317969 hasPublicationYear "2009" @default.
- W2286317969 type Work @default.
- W2286317969 sameAs 2286317969 @default.
- W2286317969 citedByCount "1" @default.
- W2286317969 crossrefType "journal-article" @default.
- W2286317969 hasAuthorship W2286317969A5009623067 @default.
- W2286317969 hasAuthorship W2286317969A5019612833 @default.
- W2286317969 hasAuthorship W2286317969A5031937441 @default.
- W2286317969 hasAuthorship W2286317969A5056869421 @default.
- W2286317969 hasConcept C15927051 @default.
- W2286317969 hasConcept C178489894 @default.
- W2286317969 hasConcept C18903297 @default.
- W2286317969 hasConcept C199360897 @default.
- W2286317969 hasConcept C2777299769 @default.
- W2286317969 hasConcept C33884865 @default.
- W2286317969 hasConcept C38652104 @default.
- W2286317969 hasConcept C41008148 @default.
- W2286317969 hasConcept C80444323 @default.
- W2286317969 hasConcept C86803240 @default.
- W2286317969 hasConceptScore W2286317969C15927051 @default.
- W2286317969 hasConceptScore W2286317969C178489894 @default.
- W2286317969 hasConceptScore W2286317969C18903297 @default.
- W2286317969 hasConceptScore W2286317969C199360897 @default.
- W2286317969 hasConceptScore W2286317969C2777299769 @default.
- W2286317969 hasConceptScore W2286317969C33884865 @default.
- W2286317969 hasConceptScore W2286317969C38652104 @default.
- W2286317969 hasConceptScore W2286317969C41008148 @default.
- W2286317969 hasConceptScore W2286317969C80444323 @default.
- W2286317969 hasConceptScore W2286317969C86803240 @default.
- W2286317969 hasLocation W22863179691 @default.
- W2286317969 hasOpenAccess W2286317969 @default.
- W2286317969 hasPrimaryLocation W22863179691 @default.
- W2286317969 hasRelatedWork W1190369259 @default.
- W2286317969 hasRelatedWork W122792331 @default.
- W2286317969 hasRelatedWork W1490702959 @default.
- W2286317969 hasRelatedWork W1491991545 @default.
- W2286317969 hasRelatedWork W1518401470 @default.
- W2286317969 hasRelatedWork W1518451279 @default.
- W2286317969 hasRelatedWork W1607337378 @default.
- W2286317969 hasRelatedWork W1721673008 @default.
- W2286317969 hasRelatedWork W2016321105 @default.
- W2286317969 hasRelatedWork W2099537756 @default.
- W2286317969 hasRelatedWork W2135249212 @default.
- W2286317969 hasRelatedWork W2167272956 @default.
- W2286317969 hasRelatedWork W2237653119 @default.
- W2286317969 hasRelatedWork W2337586789 @default.
- W2286317969 hasRelatedWork W2392968848 @default.
- W2286317969 hasRelatedWork W2509928903 @default.
- W2286317969 hasRelatedWork W2548788256 @default.
- W2286317969 hasRelatedWork W2808620986 @default.
- W2286317969 hasRelatedWork W3122056500 @default.
- W2286317969 hasRelatedWork W3157656936 @default.
- W2286317969 isParatext "false" @default.
- W2286317969 isRetracted "false" @default.
- W2286317969 magId "2286317969" @default.
- W2286317969 workType "article" @default.