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
• 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
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 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
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• CryptoExperts / whibox_contest_submission_server
  Source code of the Whitebox Contest Submission Server
  ☆34Updated last year
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• falsecurity / cache-leak-detector
  Instruction cache leakage detection tool for modular exponentation software.
  ☆15Updated 8 years ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 6 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆23Updated 10 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• cstanfill / sidh-writeup
  Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"
  ☆26Updated 8 years ago
• 5GenCrypto / obfuscation
  Implementation of cryptographic program obfuscation
  ☆42Updated 7 years ago
• CIFASIS / QuickFuzz
  An experimental grammar fuzzer in Haskell using QuickCheck
  ☆199Updated 5 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆189Updated 8 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 10 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆85Updated 9 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• sangkilc / ofuzz
  Fuzzing framework written in OCaml
  ☆31Updated 9 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• jaybosamiya / automatic-differentiation
  Find first derivatives of functions automagically
  ☆10Updated 8 years ago