Views provided by UsageCounts
In this artefact, we present Cognicrypt_GEN, a code generation approach that allows for the generation of functionally correct, type-safe, and secure Java code that implements common use cases of cryptographic APIs. To implement a given use case, Cognicrypt_GEN requires two artefacts: a) a set of API-usage rules in the specification language CrySL and b) a Java code template specifying which CRYSL rules are to be used and how. The artefact comes with an Eclipse environment, in which Cognicrypt_GEN may be executed with all eleven use cases from the original paper. It further contains the artefacts to all use cases to allow for modification and extension. We finally include a tutorial on how Cognicrypt_GEN is used.
Cryptography, Eclipse, Java, Code Generation
Cryptography, Eclipse, Java, Code Generation
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 9 |

Views provided by UsageCounts