ascon-spark

ISCAda

A formally verified implementation of the Ascon lightweight authenticated encryption algorithm in Ada/SPARK.

GitHub

3 stars0 forks0 contributors

Overview

A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014

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

3 years ago

CreatedSince 2016

Built With

Included in

Ada/SPARK821

Auto-fetched 19 hours ago

spark-nacl

SPARK 2014 re-implementation of the TweetNaCl crypto library

Stars136

Forks14

Last commit4 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 commit1 month ago

libsparkcrypto

A cryptographic library in SPARK 2014

Stars29