This project is obsolete is no longer developed, maintained or serviced!
Repository Index
54,641 visible repositories in the index
1–4 of 4 · 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.
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014