spark-sip-hash

NOASSERTIONAda

A verified Ada/SPARK implementation of the SipHash keyed hash function for hash-flooding DoS protection.

GitHub

6 stars0 forks0 contributors

Overview

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

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

8 years ago

CreatedSince 2015

Built With

Included in

Ada/SPARK821

Auto-fetched 3 days ago

spark-nacl

SPARK 2014 re-implementation of the TweetNaCl crypto library

Stars136

Forks14

Last commit3 months ago

ada-crypto-library

This project is obsolete is no longer developed, maintained or serviced!

Stars86

Forks20

Last commit8 years ago

libkeccak

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

Stars40

Forks3

Last commit21 days ago

libsodium-ada

libsodium for Ada - A secure cryptographic library

Stars12

Forks1

Last commit10 years ago