trailofbits / sixtyfour

Related projects ⓘ

Alternatives and complementary repositories for sixtyfour

• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆25Updated 4 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆74Updated 2 years ago
• gamozolabs / fuzzyneural
  A neural network using fuzzing-style feedback rather than back-propagation
  ☆17Updated 4 years ago
• isislovecruft / signal-anonymous-credentials
  A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.
  ☆14Updated 4 years ago
• veorq / spc
  A tweakable block cipher
  ☆30Updated 6 months ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated 9 months ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• felipensp / itrace
  Tracks runtime instruction execution in Linux programs
  ☆33Updated 11 years ago
• guidovranken / bignum-fuzzer
  ☆35Updated 4 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆18Updated 5 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆43Updated 3 years ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆26Updated 4 years ago
• mgrzeszczak / des-cuda
  DES cracking using brute force algorithm and CUDA
  ☆23Updated 7 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆28Updated 4 years ago
• psve / cryptagraph
  A tool for linear and differential cryptanalysis of block ciphers written in Rust
  ☆12Updated 2 years ago
• radareorg / libdemangle
  A simple library focusing on demangling symbols for different programing languages
  ☆41Updated 3 years ago
• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 4 years ago
• teserakt-io / pqgo
  cgo wrappers around post-quantum cryptography primitives
  ☆23Updated 5 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago
• dfoxfranke / libaes_siv
  An RFC5297-compliant C implementation of AES-SIV
  ☆19Updated 4 years ago
• ykjit / hwtracer
  Trace a program using CPU tracer technology.
  ☆27Updated 2 years ago
• jedisct1 / hashseq
  A simple proof of work, mainly designed to mitigate DDoS attacks.
  ☆24Updated 3 years ago
• zeek / paraglob
  A fairly quick data structure for matching a string against a large list of patterns.
  ☆34Updated 6 months ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆32Updated 5 months ago
• uNetworking / libEpollFuzzer
  Tool for findings bugs in epoll-based Linux servers
  ☆28Updated 4 years ago