Security

Crypto

…

• pseudo-random number generators

  • Xoshiro
    Link: alire.ada.dev/crates/xoshiro
    LastCheck: 26 janv. 2022 à 16:22
    Author: onox

    xoshiro128++ and xoshiro256++ pseudo-random number generators — ["xoshiro", "rng", "random", "spark"]

• crypto

  • Saatana
    Link: alire.ada.dev/crates/saatana
    LastCheck: 26 janv. 2022 à 16:22
    Author: Jellix

    SPARK/Ada Algorithms Targeting Advanced Network Applications — ["cryptography", "spark"]

• Hash

  • Blake2s
    Link: alire.ada.dev/crates/blake2s
    LastCheck: 26 janv. 2022 à 16:22
    Author: lkujaw

    SPARK83 implementation of the BLAKE2s hash function — ["spark", "hash", "blake2", "blake2s"]

  • B2ssum
    Link: alire.ada.dev/crates/b2ssum
    LastCheck: 26 janv. 2022 à 16:22
    Author: lkujaw

    BLAKE2s file hash utility — ["ada1995", "hash", "blake2", "blake2s"]

• TweetNaCl
  Link: en.wikipedia.org/wiki/NaCl_(software)

  • Sparknacl
    Link: alire.ada.dev/crates/sparknacl
    LastCheck: 26 janv. 2022 à 16:22
    Author: rod-chapman

    Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library — ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]

TrustedPlatformModule-TPM

…