(HACL*) AEAD Benchmarks
Tags
9 pages
crypto
Shared-Secrets Service
Wrapping arithmetic in Rust
Update on hacspec
The HACL* approach
