Lib.rs
›
Users
#
libcrux
#
formally-verified
#
aes-gcm
jschneider-bensch
Jonas Schneider-Bensch
Joined crates-io 2 years ago. Joined GitHub 3 years ago.
GitHub
crates.io
Maintainer dashboard
Shares crates with
franziskuskiefer
jschneider-bensch created 4 crates
libcrux-aead
22
K
Founded in Nov 2025. Updated 2 weeks ago.
libcrux-aesgcm
22
K
Founded in Nov 2025. Updated 2 weeks ago.
libcrux-digest
Founded in Nov 2025. Updated 2 weeks ago.
cavp
Founded in Jul 2024. Last updated 10 months ago.