Ascon_SPARK
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
3 stars
3 watching
0 forks
Language: Ada
last commit: about 2 years ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
| jhumphry/spark_norx | An implementation of a widely used authenticated encryption algorithm | 8 |
| jhumphry/spark_siphash | An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks. | 5 |
| jhumphry/ada_bintoasc | A library providing flexible binary-to-ASCII encoding and decoding capabilities | 0 |
 rod-chapman/sparknacl | Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization. | 115 |
 spiritlab/spark | A research-focused implementation of Apache Spark with homomorphic encryption support | 3 |
 damaki/libkeccak | A library implementing cryptographic algorithms using the SPARK/Ada programming language and static proof of type safety. | 33 |
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 154 |
| jhumphry/lalg | An Ada interface to BLAS for linear algebra operations on dense matrices and vectors | 4 |
 rocher/ob-ada-spark | Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code | 8 |
 indy256/codelibrary | A comprehensive collection of algorithms and data structures implemented in multiple programming languages | 1,944 |
 paulmillr/noble-ciphers | A collection of minimal and audited implementations of various cryptographic algorithms | 222 |
 mvayngrib/react-native-aes | Provides AES encryption and decryption capabilities in React Native applications. | 29 |
| jhumphry/parse_args | A package to parse command line arguments and options in Ada 2012 | 12 |
 azadkuh/mbedcrypto | A portable C++ library for encryption and decryption of binary data using various algorithms | 47 |
 rustcrypto/aeads | A collection of authenticated encryption algorithms implemented in Rust | 733 |