SPARK 2014 re-implementation of the TweetNaCl crypto library
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
A pure Ada implementation of the SipHash PRF (mirror repository).