libkeccak
Cryptographic library
A library implementing cryptographic algorithms using the SPARK/Ada programming language and static proof of type safety.
SHA-3 and other Keccak related algorithms in SPARK/Ada.
33 stars
7 watching
3 forks
Language: Ada
last commit: about 1 year ago
Linked from 1 awesome list
adaasconcshakegimlihash-functionskangarootwelvekeccakketjekmacmarsupilamifourteenparallelhashsha-3shake128shake256spark-adasponge-constructiontuplehash
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jhumphry/ascon_spark | An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption. | 3 |
 ahkscript/libcrypt.ahk | A collection of cryptographic functions and algorithms from the AutoHotkey community. | 68 |
 imkcat/catcrypto | A comprehensive C library providing various hashing and encryption functions | 70 |
 azadkuh/mbedcrypto | A portable C++ library for encryption and decryption of binary data using various algorithms | 47 |
 libtom/libtomcrypt | Provides a comprehensive toolkit for cryptographic functions and algorithms | 1,569 |
 jedisct1/libhydrogen | A lightweight cryptographic library providing simple functions to solve common problems. | 630 |
 jrmarino/libsodium-ada | A set of Ada bindings for the NaCl cryptographic library to provide easy-to-use encryption, hashing, and authentication functionality. | 8 |
 smuellerdd/libkcapi | Provides a user-space interface to the Linux kernel crypto API | 175 |
| jhumphry/spark_siphash | An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks. | 5 |
 ektrah/nsec | A cryptographic library for .NET based on libsodium | 394 |
 dedis/kyber | A comprehensive cryptographic toolkit for Go developers | 643 |
 open-quantum-safe/liboqs | A collection of quantum-resistant cryptographic algorithms implemented in C | 1,894 |
 debris/tiny-keccak | An implementation of Keccak derived functions with various features and optimizations. | 194 |
 keccakteam/xoodoo | An implementation of a cryptographic primitive for message processing and key expansion | 32 |
 inmcm/kravatte | An implementation of authenticated encryption and authentication primitives using the Keccak permutation and NumPy | 15 |