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
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 3 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
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• ephox-gcc-plugins / initify
  initify gcc plugin
  ☆8Updated 8 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• CIFASIS / QuickFuzz
  An experimental grammar fuzzer in Haskell using QuickCheck
  ☆199Updated 5 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 10 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 9 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆67Updated 10 years ago
• bnagy / afl-trivia
  Short, unrelated helper scripts for users of AFL (the fuzzer)
  ☆112Updated 8 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆85Updated 8 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆42Updated 9 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• jurajsomorovsky / EccPlayground
  Simple application for playing with elliptic curves
  ☆44Updated 2 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• sangkilc / ofuzz
  Fuzzing framework written in OCaml
  ☆31Updated 8 years ago
• kcwu / afl-kit
  ☆36Updated 2 months ago
• markjdb / sysfuzz
  A prototype system call fuzzer.
  ☆14Updated 8 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 9 years ago
• HackerDom / ructfe-2015
  RuCTFE 2015
  ☆21Updated 9 years ago
• cstanfill / sidh-writeup
  Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"
  ☆26Updated 8 years ago