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.

Add a description, image, and links to the binsec topic page so that developers can more easily learn about it.

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