Matches in SemOpenAlex for { <https://semopenalex.org/work/W2973035781> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2973035781 endingPage "2400" @default.
- W2973035781 startingPage "2382" @default.
- W2973035781 abstract "Various studies have empirically shown that the majority of Java and Android applications misuse cryptographic libraries, causing devastating breaches of data security. It is crucial to detect such misuses early in the development process. To detect cryptography misuses, one must <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>define</i> secure uses first, a process mastered primarily by cryptography experts but not by developers. In this paper, we present <sc xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>CrySL</small> , a specification language for bridging the cognitive gap between cryptography experts and developers. <sc xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>CrySL</small> enables cryptography experts to specify the secure usage of the cryptographic libraries they provide. We have implemented a compiler that translates such <sc xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>CrySL</small> specification into a context-sensitive and flow-sensitive demand-driven static analysis. The analysis then helps developers by automatically checking a given Java or Android app for compliance with the <sc xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>CrySL</small> -encoded rules. We have designed an extensive <sc xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>CrySL</small> rule set for the Java Cryptography Architecture (JCA), and empirically evaluated it by analyzing 10,000 current Android apps and all 204,788 current Java software artefacts on Maven Central. Our results show that misuse of cryptographic APIs is still widespread, with 95 percent of apps and 63 percent of Maven artefacts containing at least one misuse. Our easily extensible <sc xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>CrySL</small> rule set covers more violations than previous special-purpose tools that contain hard-coded rules, while still offering a more precise analysis." @default.
- W2973035781 created "2019-09-19" @default.
- W2973035781 creator A5008520601 @default.
- W2973035781 creator A5038781215 @default.
- W2973035781 creator A5067921018 @default.
- W2973035781 creator A5076678278 @default.
- W2973035781 creator A5078067853 @default.
- W2973035781 date "2021-11-01" @default.
- W2973035781 modified "2023-10-02" @default.
- W2973035781 title "CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs" @default.
- W2973035781 cites W1536265389 @default.
- W2973035781 cites W1610570299 @default.
- W2973035781 cites W1983447928 @default.
- W2973035781 cites W1993084949 @default.
- W2973035781 cites W2008810193 @default.
- W2973035781 cites W2044590882 @default.
- W2973035781 cites W2082000355 @default.
- W2973035781 cites W2091712774 @default.
- W2973035781 cites W2092115639 @default.
- W2973035781 cites W2103370348 @default.
- W2973035781 cites W2104416102 @default.
- W2973035781 cites W2108632968 @default.
- W2973035781 cites W2111141292 @default.
- W2973035781 cites W2115725211 @default.
- W2973035781 cites W2130559265 @default.
- W2973035781 cites W2134429122 @default.
- W2973035781 cites W2145994642 @default.
- W2973035781 cites W2156881251 @default.
- W2973035781 cites W2162126440 @default.
- W2973035781 cites W2166743230 @default.
- W2973035781 cites W2170181173 @default.
- W2973035781 cites W2171240827 @default.
- W2973035781 cites W2279161046 @default.
- W2973035781 cites W2357927175 @default.
- W2973035781 cites W2546558533 @default.
- W2973035781 cites W2577540292 @default.
- W2973035781 cites W2761352457 @default.
- W2973035781 cites W2766217896 @default.
- W2973035781 cites W2766347289 @default.
- W2973035781 cites W2767943400 @default.
- W2973035781 cites W2770623724 @default.
- W2973035781 cites W2808620986 @default.
- W2973035781 cites W2964144088 @default.
- W2973035781 cites W4230796557 @default.
- W2973035781 doi "https://doi.org/10.1109/tse.2019.2948910" @default.
- W2973035781 hasPublicationYear "2021" @default.
- W2973035781 type Work @default.
- W2973035781 sameAs 2973035781 @default.
- W2973035781 citedByCount "16" @default.
- W2973035781 countsByYear W29730357812020 @default.
- W2973035781 countsByYear W29730357812021 @default.
- W2973035781 countsByYear W29730357812022 @default.
- W2973035781 countsByYear W29730357812023 @default.
- W2973035781 crossrefType "journal-article" @default.
- W2973035781 hasAuthorship W2973035781A5008520601 @default.
- W2973035781 hasAuthorship W2973035781A5038781215 @default.
- W2973035781 hasAuthorship W2973035781A5067921018 @default.
- W2973035781 hasAuthorship W2973035781A5076678278 @default.
- W2973035781 hasAuthorship W2973035781A5078067853 @default.
- W2973035781 hasBestOaLocation W29730357812 @default.
- W2973035781 hasConcept C111919701 @default.
- W2973035781 hasConcept C11413529 @default.
- W2973035781 hasConcept C178489894 @default.
- W2973035781 hasConcept C199360897 @default.
- W2973035781 hasConcept C41008148 @default.
- W2973035781 hasConcept C548217200 @default.
- W2973035781 hasConcept C557433098 @default.
- W2973035781 hasConceptScore W2973035781C111919701 @default.
- W2973035781 hasConceptScore W2973035781C11413529 @default.
- W2973035781 hasConceptScore W2973035781C178489894 @default.
- W2973035781 hasConceptScore W2973035781C199360897 @default.
- W2973035781 hasConceptScore W2973035781C41008148 @default.
- W2973035781 hasConceptScore W2973035781C548217200 @default.
- W2973035781 hasConceptScore W2973035781C557433098 @default.
- W2973035781 hasFunder F4320330076 @default.
- W2973035781 hasFunder F4320334593 @default.
- W2973035781 hasIssue "11" @default.
- W2973035781 hasLocation W29730357811 @default.
- W2973035781 hasLocation W29730357812 @default.
- W2973035781 hasOpenAccess W2973035781 @default.
- W2973035781 hasPrimaryLocation W29730357811 @default.
- W2973035781 hasRelatedWork W1481383228 @default.
- W2973035781 hasRelatedWork W1490787830 @default.
- W2973035781 hasRelatedWork W1493446239 @default.
- W2973035781 hasRelatedWork W1860988706 @default.
- W2973035781 hasRelatedWork W1979547103 @default.
- W2973035781 hasRelatedWork W2097082130 @default.
- W2973035781 hasRelatedWork W2137409926 @default.
- W2973035781 hasRelatedWork W2162118494 @default.
- W2973035781 hasRelatedWork W4254917997 @default.
- W2973035781 hasRelatedWork W2528467228 @default.
- W2973035781 hasVolume "47" @default.
- W2973035781 isParatext "false" @default.
- W2973035781 isRetracted "false" @default.
- W2973035781 magId "2973035781" @default.
- W2973035781 workType "article" @default.