Alternatives and similar repositories for grainofsalt:

Users that are interested in grainofsalt are comparing it to the libraries listed below

• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆23Updated 9 years ago
• Pythia3431 / Delphinium
  ☆11Updated 4 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 6 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 2 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated last month
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 6 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• bartman / elfgpg
  sign elf binaries with GPG
  ☆18Updated 8 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆27Updated 2 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• MaliciousSHA1 / MaliciousSHA1.github.io
  ☆17Updated 10 years ago
• veorq / blabla
  like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation
  ☆15Updated 7 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• veorq / spc
  A tweakable block cipher
  ☆31Updated 9 months ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 8 years ago
• nemequ / compfuzz
  Fuzzing compression libraries
  ☆19Updated 9 years ago
• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 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
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆82Updated 10 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• sneves / chacha-avx2
  AVX2 Chacha implementation
  ☆16Updated 11 years ago
• dot-asm / cryptogams
  CRYPTOGAMS distribution repository
  ☆56Updated 3 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago