An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
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