Repository Index

SPARK 2014 re-implementation of the TweetNaCl crypto library

SHA-3 and other Keccak related algorithms in SPARK/Ada.

• hash-functions
• keccak
• sha-3
• sponge-construction

Ada Keystore - protect your sensitive data with secure storage

• keystore
• security-tools
• secure-storage

Ada Security - OAuth 2.0 client and server framework to secure web applications

• oauth
• openid
• authentication
• permissions

ada privilege escalation

• ada
• security
• spark
• sudo

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

SPARK TOTP library

• spark
• 2fa
• 2fa-security
• ada

An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.

A pure Ada implementation of the SipHash PRF (mirror repository).