blake2s
by lkujaw
The BLAKE2s hash function for SPARK83 [Ada (1987)]
AI summary
Hash function implementation
Implementation of the BLAKE2s hash function in Ada for secure data integrity and authenticity verification.
- stars
- 1
- forks
- 1
- watching
- 1
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Hash function library
An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks.
Hash function implementation
An implementation of a non-cryptographic hash function in Ada
TOTP library
A time-based one-time pad implementation library for two-factor authentication
Cryptographic library
A library implementing cryptographic algorithms using the SPARK/Ada programming language and static proof of type safety.
Hash function
A Verilog implementation of the SHA-512 hash function
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
Software Verifier
Automates Ada software verification with continuous testing and proofing
AES-like encryption
An implementation of a widely used authenticated encryption algorithm
Hash functions library
A Julia implementation of common hash functions
Hashing function
A single-function SHA256 hashing implementation in C.
Identifier generator
Provides reversible, non-sequential identifiers for data obfuscation
Hash library
A lightweight JavaScript implementation of various hash functions and cryptographic primitives
Hash algorithm toolkit
Tools for implementing various hash algorithms in multiple programming languages.
Hash function implementation
An implementation of the SHA-256 cryptographic hash function in hardware
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
Featured in 1 awesome list
Each link jumps to the spot where the list mentions blake2s.
