NaCl
From MaRDI portal
Software:21893
swMATH9914MaRDI QIDQ21893FDOQ21893
Author name not available (Why is that?)
Cited In (11)
- 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
- Gaining trust by tracing security protocols
This page was built for software: NaCl
