Skip to content

The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.6.

License

Notifications You must be signed in to change notification settings

Kensan/Ada-Crypto-Library

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

59 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Welcome to the Ada Crypto Library (ACL) aka libadacrypt

This library is an ongoing project that provides the Ada community to strong cryptography primitives and schemes, focused to ensure data confidentiality and data integrity.

Implemented Features

  • Symmetric Cryptography
    • Blockciphers: AES, Twofish, 3DES, Serpent
    • Modes of Operation : BPS, CFB, Ctr, OFB
    • Tweakable Blockcipher Modes: CMT, XT
    • Hash functions: SHA-1 (broken), SHA-256, (SHA-384), SHA-512, Whirlpool
    • MACs: RMAC, HMAC, CMAC
    • Authenticated Encryption schemes: OCB, SIV and McOE
  • Big (unsigned) number library
    • Primary cyclic group arithmetic (Z_p)
    • Binary Field arithmetic support.
    • Elliptic Curve arithmetic
      • Supersingular Elliptic Curves Over Binary Fields (SS-BF)
      • Non-Supersingular Elliptic Curves Over Binary Fields (NSS-BF)
      • Elliptic Curves Over Z_p (EC-Z_P)
  • Asymmetric Cryptography
    • Probabilistic primality testing
    • DSA signature scheme
    • OEAP-RSA
    • ECDSA, ECDH
  • Nonce Generator Support: Random, Counter, Mixed
  • AUnit-3.4 based Test suite

Getting started

Prerequisites

  • GNAT-4.6
  • GNU Make 3.81 or newer
  • gcov 4.7.1 or newer (optional for testing only)
  • lcov 1.9 or newer (optional for testing only)

To build and test:

make
make acltest
cd test  
./test-tests

To generate LCOV code coverage report (location: test/coverage/):

make gcov
cd test  
./test-tests
make lcov

To build the PDF documentation (location: doc/):

make docu

Other stuff

Contact

If you want to report bugs, make suggestions, contribute bugfixes or beautiful ideas, feel free to contact me at [email protected]

Legal Note

Note, that depending on where you are, the use of cryptography may be limited or forbidden by law. Before using this library, make sure you are legally entitled to do so.

License

This library is free software; you can redistribute it and/or modify it under the terms of the GNU LESSER GENERAL PUBLIC LICENSE as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA

For the specifics of this license, see file 'COPYING', included in this distribution.

NO WARRANTY

This program is WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

About

The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.6.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published