spark-norx

github.comtool

Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Libraries > Cryptography: “Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.”