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
8 stars
3 watching
0 forks
Language: Ada
last commit: over 6 years ago
Linked from 1 awesome list
ohenley/awesome-adaRelated 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 | 408 |
 nordmike/gibberish-aes-as3 | A port of a lightweight Javascript AES encryption library to 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 | 154 |
 softvar/secure-ls | Protects and encrypts data stored in local storage. | 647 |
 paulmillr/noble-ciphers | A collection of minimal and audited implementations of various cryptographic algorithms | 222 |
 rustcrypto/aeads | A collection of authenticated encryption algorithms implemented in Rust | 731 |
 azadkuh/mbedcrypto | A portable C++ library for encryption and decryption of binary data using various algorithms | 47 |