Crypto library written in Ada
25개 이상의 토픽을 선택하실 수 없습니다. Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 

387 B

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.