binsec

Here are 2 public repositories matching this topic...

Rust crypto w/ zero default deps: BLAKE3, Ed25519/X25519, hashes, MACs, KDFs, AEADs, and checksums w/ full SIMD/ASM acceleration

rust cryptography crypto aead asm wasm rsa simd ed25519 x25519 constant-time blake2 checksums no-std crc32c blake3 binsec

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

To associate your repository with the binsec topic, visit your repo's landing page and select "manage topics."