SPARK_NORX

An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm

GitHub

8 stars
2 watching
0 forks
Language: Ada
last commit: over 6 years ago
Linked from 1 awesome list


Backlinks from these awesome lists: