Sign in

Repository Index

47,133 repositories indexed

Tag: Security
Tag
Filters (1)

Filters

Clear all filters

1–2 of 2 · Most stars

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