benlaurie / hacl

Related projects ⓘ

Alternatives and complementary repositories for hacl

• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆27Updated 6 years ago
• isislovecruft / xocolatl
  ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥
  ☆12Updated 9 years ago
• glamrock / anonbib
  Mirror of freehaven's anonymous research bibliography
  ☆13Updated 9 years ago
• jurajsomorovsky / EccPlayground
  Simple application for playing with elliptic curves
  ☆42Updated last year
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 6 years ago
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• coruus / ed448-goldilocks
  Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/
  ☆32Updated 9 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 7 years ago
• mjosaarinen / blzzrd
  Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme
  ☆15Updated 8 years ago
• veorq / blabla
  like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation
  ☆15Updated 7 years ago
• AceRoqs / CryptoTools
  Tools for attacking cryptographic implementations.
  ☆21Updated 8 years ago
• USECAP / ct-infrastructure
  Docker environment that contains a Database, Monitor, Observatory and Analyzer
  ☆14Updated 3 years ago
• norx / norx
  Reference implementations (software)
  ☆85Updated 7 years ago
• bikeshedders / xchacha-rfc
  Towards an IETF RFC for XChaCha20-Poly1305
  ☆28Updated 4 years ago
• GaloisInc / hacrypto
  Experiments in high-assurance crypto.
  ☆47Updated last year
• guidovranken / bignum-fuzzer
  ☆35Updated 4 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆23Updated 9 years ago
• mjosaarinen / brutus
  BRUTUS is an alternative, fast testing framework for CAESAR ciphers.
  ☆22Updated 8 years ago
• stef / libsaxolotl
  axolotl based on libsodium
  ☆22Updated 8 years ago
• dedis / cosi
  CoSi command line interface
  ☆21Updated 7 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• subgraph / paxrat
  paxrat is a utility to set PaX flags on a set of binaries.
  ☆34Updated 6 years ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 7 years ago
• AnomalRoil / go-dudect
  This is a toy implementation of the dudect ideas in Go. All credit goes to Oscar Reparaz, Josep Balasch and Ingrid Verbauwhede for dudect…
  ☆18Updated 7 years ago
• samvartaka / crypto_backdoors
  Various cryptographic backdoors and tools to detect them
  ☆21Updated 9 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆59Updated 7 years ago
• unixist / camb
  Detect some forms of linux kernel tampering
  ☆12Updated 9 years ago