swMATH9914MaRDI QIDQ21893FDOQ21893
Author name not available (Why is that?)
Official website: http://nacl.cr.yp.to/
Cited In (21)
- Casper*
- HalftimeHash: modern hashing without 64-bit multipliers or finite fields
- Formal verification of side-channel countermeasures using self-composition
- A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data
- The security impact of a new cryptographic library
- TweetNaCl: A Crypto Library in 100 Tweets
- Output-sensitive information flow analysis
- Fast implementation of Curve25519 using AVX2
- Full-size high-security ECC implementation on MSP430 microcontrollers
- Formal Proof of the Group Law for Edwards Elliptic Curves
- qDSA: small and secure digital signatures with curve-based Diffie-Hellman key pairs
- MIRACL
- TinyECC
- ASPIER
- RELIC
- OpenSSL
- TweetNaCl
- JFlow
- DNSCurve
- CacheAudit
- Gaining trust by tracing security protocols
This page was built for software: NaCl
