Alternatives and similar repositories for 23heap

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

• okazymyrov / MDS
  ☆12Updated 3 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆25Updated 2 weeks ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆46Updated 10 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• HackerDom / ructfe-2015
  RuCTFE 2015
  ☆21Updated 9 years ago
• falsecurity / cache-leak-detector
  Instruction cache leakage detection tool for modular exponentation software.
  ☆15Updated 8 years ago
• uberspot / VTPin
  VTable Hijacking Protection for Binaries
  ☆12Updated 8 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 7 months ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 10 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 9 years ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆29Updated 10 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆46Updated 7 years ago
• ericpony / z3py-tutorial
  ☆146Updated 2 years ago
• grocid / pigment
  🎨 A tool program to set terminal colors from image
  ☆10Updated 8 years ago
• aoh / blab
  a grammar-based data generator
  ☆60Updated 6 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 10 years ago
• HackerDom / ructf-2017
  ☆12Updated 5 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• jurajsomorovsky / EccPlayground
  Simple application for playing with elliptic curves
  ☆44Updated 2 years ago