Sign in

Repository Index

47,133 repositories indexed

Tags: Security
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

49–57 of 57 · Most stars

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