Alternatives and similar repositories for 23heap

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

• okazymyrov / MDS
  ☆12Updated 2 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 3 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
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• bcrypto / bee2
  ☆14Updated 8 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• rben-dev / lightweight-crypto-lib
  Some lightweight cryptography algorithms optimized for x86
  ☆22Updated 2 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 9 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 9 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• lducas / BDD-note
  ☆12Updated 3 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• veorq / blabla
  like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation
  ☆15Updated 8 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆42Updated 9 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆82Updated 11 years ago
• kmowery / libfixedtimefixedpoint
  A library for doing constant-time fixed-point numeric operations
  ☆27Updated 4 years ago
• mjosaarinen / kuznechik
  Implementation of the proposed Russian block cipher standard, Kuznechik ("Grasshopper"). 128-bit block size, 256-bit key.
  ☆61Updated 10 years ago
• mjosaarinen / gostbox
  GOSTBOX -- A 95-byte program for the 256-byte Streebog/Kuznyechik S-Box.
  ☆14Updated 4 years ago
• Ko- / sboxoptimization
  Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers
  ☆27Updated 7 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 9 years ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 8 years ago
• MaliciousSHA1 / MaliciousSHA1.github.io
  ☆17Updated 10 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago