Search 9 packages
| Packages1–9 of 9 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| libcrux-aead cargo | 0.0.10 | clean | Formally verified AEAD library | 2M | 21h ago |
| tc_chacha_aead cargo | 0.1.0 | clean | ChaCha20-Poly1305 (RFC 8439) and XChaCha20-Poly1305 authenticated encryption, on the tc_aead_cipher contracts. | 8 | 2d ago |
| libcrux-chacha20poly1305 cargo | 0.0.10 | clean | Formally verified ChaCha20-Poly1305 AEAD library | 2M | 21h ago |
| chacha20-poly1305 cargo | 0.2.1 | clean | The ChaCha20 stream cipher and Poly1305 MAC based AEAD. | 581K | 12m ago |
| libcrux-aes cargo | 0.0.10 | clean | Libcrux AES-based AEAD implementations | 227K | 21h ago |
| limnifs-ocb3 cargo | 0.3.59 | clean | Pure-Rust OCB3 (RFC 7253) AEAD on stable aes 0.8 — no RC dependencies | 6.4K | 18h ago |
| vitaminc-context cargo | 0.5.1 | clean | One canonical encoding for the context an AEAD authenticates and a PRF derives under. Part of the VitaminC cryptographic suite. | 2.8K | 2d ago |
| rustls-ccm cargo | 0.2.1 | clean | CCM and CCM-8 cipher suites for rustls (TLS 1.2 and TLS 1.3) | 1.5K | 2d ago |
| net-mesh-wire cargo | 0.41.1 | clean | Net mesh wire layer: packet protocol, Noise handshake, packet AEAD, reliability, sessions and the routing envelope. tokio-free and wasm32-clean. | 199 | 10h ago |