Crypto library written in Ada
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.
 
 
 
bg nerilex 1f0716f387 adding support for not using a SMN преди 5 години
src adding support for not using a SMN преди 5 години
testvectors +TestVectors from NESSIE преди 5 години
.gitattributes trying to fix highlighting преди 5 години
LICENSE Including GPLv3 license and Copyright statements. преди 5 години
Makefile initial commit - types seem to work to some degree преди 5 години
README.md +README.md преди 5 години
steelcrypt.gpr generic update + PiCipherV2 преди 5 години

README.md

SteelCrypt

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.