CrySL is a domain-specific language that allows to specify the correct usage of cryptographic APIs.
More information can be found under the following link.
svenfeld/CryptSL
This branch is up to date with CROSSINGTUD/CryptSL:develop.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latest commit67bd58f · | ||||