SPARK_NORX
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
8 stars
2 watching
0 forks
Language: Ada
last commit: over 6 years ago
Linked from 1 awesome list
SPARK_NORX An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
ohenley/awesome-ada