prehistoric-systems/awesome-cryptography
1
0
Fork 0
mirror of https://github.com/sobolevn/awesome-cryptography.git synced 2026-03-11 07:14:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add nullsec-cryptocheck cryptographic verifier

Browse source
This commit is contained in:
bad-antics 2026-01-24 08:48:20 -08:00
parent d3544585e8
commit a62f212d0d
No known key found for this signature in database
GPG key ID: B1F1881F70FB62A7
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README.md
View file

@ -408,6 +408,7 @@ encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as
- [sodiumoxide](https://github.com/dnaq/sodiumoxide) - Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium).
- [suruga](https://github.com/klutzy/suruga) - TLS 1.2 implementation in Rust.
- [webpki](https://github.com/briansmith/webpki) - Web PKI TLS X.509 certificate validation in Rust.
- [nullsec-cryptocheck](https://github.com/bad-antics/nullsec-cryptocheck) - Cryptographic implementation verifier and auditing tool written in Ada/SPARK for formal verification.
### Scala