SPARK_NORX
by jhumphry
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
AI summary
AES-like encryption
An implementation of a widely used authenticated encryption algorithm
- stars
- 8
- forks
- 0
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
Traffic decryptor
A plugin for Burp Suite to decrypt AES-encrypted traffic on the fly.
Hash function library
An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks.
Identifier generator
Provides reversible, non-sequential identifiers for data obfuscation
AES library
A port of a lightweight Javascript AES encryption library to ActionScript 3
Encryption library
An implementation of the Advanced Encryption Standard with the Rinjdael algorithm in Nim.
Encryption-enabled analytics engine
A research-focused implementation of Apache Spark with homomorphic encryption support
AES encryption
An implementation of Ilya's byte-oriented AES-256 encryption algorithm in C++ for the Arduino platform.
Encryption library
Provides AES encryption and decryption capabilities in React Native applications.
cyx/shield125
auth system
An authentication framework for Ruby applications
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
Data Encryptor
Protects and encrypts data stored in local storage.
Cipher library
A collection of minimal and audited implementations of various cryptographic algorithms
Encryption library
A collection of authenticated encryption algorithms implemented in Rust
Encryption library
A portable C++ library for encryption and decryption of binary data using various algorithms
Featured in 1 awesome list
Each link jumps to the spot where the list mentions SPARK_NORX.
