The following pages link to NaCl (Q21893):
Displaying 11 items.
- HalftimeHash: modern hashing without 64-bit multipliers or finite fields (Q832844) (← links)
- qDSA: small and secure digital signatures with curve-based Diffie-Hellman key pairs (Q1703925) (← links)
- A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data (Q1739908) (← links)
- Gaining trust by tracing security protocols (Q2095430) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- The Security Impact of a New Cryptographic Library (Q2915120) (← links)
- Fast Implementation of Curve25519 Using AVX2 (Q2946458) (← links)
- Full-Size High-Security ECC Implementation on MSP430 Microcontrollers (Q2946464) (← links)
- TweetNaCl: A Crypto Library in 100 Tweets (Q2946467) (← links)
- Formal Proof of the Group Law for Edwards Elliptic Curves (Q5049006) (← links)
- (Q5856419) (← links)
