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 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.

Utility programs for the encryption algorithms included in the PragmAda Reusable Components

• ada
• threefish
• xor
• encryption-decryption

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

The BLAKE2s hash function for SPARK83 [Ada (1987)]

• blake2
• blake2s
• ada
• hash