SPARK_NORX

AES-like encryption

An implementation of a widely used authenticated encryption algorithm

An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm

GitHub
8 stars
3 watching
0 forks
Language: Ada
last commit: over 6 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
jhumphry/ascon_spark An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption. 3
ebryx/aes-killer A plugin for Burp Suite to decrypt AES-encrypted traffic on the fly. 634
jhumphry/spark_siphash An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks. 5
elfsundae/laravel-hashid Provides reversible, non-sequential identifiers for data obfuscation 407
nordmike/gibberish-aes-as3 An implementation of AES encryption in ActionScript 3. 0
jangko/nimaes An implementation of the Advanced Encryption Standard with the Rinjdael algorithm in Nim. 54
spiritlab/spark A research-focused implementation of Apache Spark with homomorphic encryption support 3
qistoph/arduinoaes256 An implementation of Ilya's byte-oriented AES-256 encryption algorithm in C++ for the Arduino platform. 62
mvayngrib/react-native-aes Provides AES encryption and decryption capabilities in React Native applications. 29
cyx/shield An authentication framework for Ruby applications 125
tofgarion/spark-by-example An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods 152
softvar/secure-ls Protects and encrypts data stored in local storage. 646
paulmillr/noble-ciphers A lightweight JavaScript implementation of multiple encryption algorithms 213
rustcrypto/aeads A collection of authenticated encryption algorithms implemented in Rust 728
azadkuh/mbedcrypto A portable C++ library for encryption and decryption of binary data using various algorithms 47