Ascon_SPARK
by jhumphry
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
AI summary
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
- stars
- 3
- forks
- 0
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
AES-like encryption
An implementation of a widely used authenticated encryption algorithm
Hash function library
An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks.
Binary converter
A library providing flexible binary-to-ASCII encoding and decoding capabilities
Crypto library
Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization.
Encryption-enabled analytics engine
A research-focused implementation of Apache Spark with homomorphic encryption support
Cryptographic library
A library implementing cryptographic algorithms using the SPARK/Ada programming language and static proof of type safety.
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
Linear Algebra Library
An Ada interface to BLAS for linear algebra operations on dense matrices and vectors
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
Algorithm library
A comprehensive collection of algorithms and data structures implemented in multiple programming languages
Cipher library
A collection of minimal and audited implementations of various cryptographic algorithms
Encryption library
Provides AES encryption and decryption capabilities in React Native applications.
Arg parser
A package to parse command line arguments and options in Ada 2012
Encryption library
A portable C++ library for encryption and decryption of binary data using various algorithms
Encryption library
A collection of authenticated encryption algorithms implemented in Rust
Featured in 1 awesome list
Each link jumps to the spot where the list mentions Ascon_SPARK.
