NaCl
From MaRDI portal
Software:21893
swMATH9914MaRDI QIDQ21893FDOQ21893
Author name not available (Why is that?)
Cited In (11)
- Title not available (Why is that?)
- 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
- TweetNaCl: A Crypto Library in 100 Tweets
- Formal Proof of the Group Law for Edwards Elliptic Curves
- qDSA: small and secure digital signatures with curve-based Diffie-Hellman key pairs
- The Security Impact of a New Cryptographic Library
- Fast Implementation of Curve25519 Using AVX2
- Full-Size High-Security ECC Implementation on MSP430 Microcontrollers
- Gaining trust by tracing security protocols
This page was built for software: NaCl
