You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
||6 years ago|
|src||6 years ago|
|testvectors||6 years ago|
|.gitattributes||6 years ago|
|LICENSE||6 years ago|
|Makefile||7 years ago|
|README.md||6 years ago|
|steelcrypt.gpr||6 years ago|
SteelCrypt is a open-source and free crypto library written in Ada.
The aims are:
- provide a unified, generic and easy to use API
- provide secure and safe implementations which maybe get formal verification (somewhere in the distant future)
- implement the algorithms in an efficient way
This is preliminary work to implement a secure and safe TLS library.