Alternatives and similar repositories for sixtyfour:

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

• gamozolabs / fuzzyneural
  A neural network using fuzzing-style feedback rather than back-propagation
  ☆18Updated 4 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆26Updated 4 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 2 years ago
• whitequark / zs
  ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin
  ☆16Updated 10 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 5 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• sophieschmieg / fun-with-gcm
  ☆19Updated 4 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated last week
• dutchcoders / trace
  System tracer implementation in Rust
  ☆32Updated 8 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• veorq / spc
  A tweakable block cipher
  ☆31Updated 10 months ago
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆373Updated 7 years ago
• gtank / defcon25_crypto_village
  Materials accompanying "Implementing an Elliptic Curve in Go"
  ☆13Updated 7 years ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆26Updated 7 years ago
• pfalcon / ScratchABlock
  Yet another crippled decompiler project
  ☆104Updated 3 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• jedisct1 / hashseq
  A simple proof of work, mainly designed to mitigate DDoS attacks.
  ☆25Updated 4 years ago
• teserakt-io / pqgo
  cgo wrappers around post-quantum cryptography primitives
  ☆23Updated 6 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago
• mgrzeszczak / des-cuda
  DES cracking using brute force algorithm and CUDA
  ☆25Updated 7 years ago
• tuxxy / IACR-eprint-mirror
  Mirror of all PDFs from the IACR's eprint
  ☆46Updated last year
• phayes / sidefuzz
  Fuzzer to automatically find side-channel (timing) vulnerabilities
  ☆117Updated 3 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 6 years ago
• isislovecruft / signal-anonymous-credentials
  A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.
  ☆14Updated 5 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• jedisct1 / rust-xoodyak
  Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.
  ☆29Updated last year
• gamozolabs / gamozolabs.github.io
  Apparently this maybe blogs or something?
  ☆16Updated 8 months ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago