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.
Repository navigation
forked from CROSSINGTUD/CryptSL
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|