NaCl
From MaRDI portal
Software:21893
No author found.
Related Items (11)
HalftimeHash: modern hashing without 64-bit multipliers or finite fields ⋮ Formal Proof of the Group Law for Edwards Elliptic Curves ⋮ The Security Impact of a New Cryptographic Library ⋮ Unnamed Item ⋮ Fast Implementation of Curve25519 Using AVX2 ⋮ Full-Size High-Security ECC Implementation on MSP430 Microcontrollers ⋮ TweetNaCl: A Crypto Library in 100 Tweets ⋮ qDSA: small and secure digital signatures with curve-based Diffie-Hellman key pairs ⋮ Formal verification of side-channel countermeasures using self-composition ⋮ A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data ⋮ Gaining trust by tracing security protocols
This page was built for software: NaCl
