A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Repository Index
47,133 repositories indexed
25–26 of 26 · Most stars
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash
47,133 repositories indexed
25–26 of 26 · Most stars
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
The BLAKE2s hash function for SPARK83 [Ada (1987)]