An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Repository Index
68,760 visible repositories in the index
1–1 of 1 · Most stars
68,760 visible repositories in the index
1–1 of 1 · Most stars
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm