This project is obsolete is no longer developed, maintained or serviced!
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
ada privilege escalation
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
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).