SPARK 2014 re-implementation of the TweetNaCl crypto library
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
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.
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
A pure Ada implementation of the SipHash PRF (mirror repository).