Alternatives and similar repositories for sixtyfour

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

• 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
• ykjit / hwtracer
  Trace a program using CPU tracer technology.
  ☆27Updated 2 years ago
• gamozolabs / fuzzyneural
  A neural network using fuzzing-style feedback rather than back-propagation
  ☆18Updated 4 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆45Updated 4 years ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆28Updated 5 years ago
• Battelle / tiresias
  ARM is Turing-complete without data fetches
  ☆18Updated 7 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 2 months ago
• veorq / spc
  A tweakable block cipher
  ☆31Updated last year
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• google / hammer-kit
  ☆78Updated 4 years ago
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆374Updated 7 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 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
• capstone-rust / capstone-sys
  low-level Capstone system bindings for Rust
  ☆13Updated 6 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆30Updated 5 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 6 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆33Updated 7 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆20Updated 3 weeks ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆27Updated 7 years ago
• brainsmoke / ptrace-burrito
  a friendly wrapper around ptrace
  ☆132Updated 3 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• gravity-postquantum / gravity-sphincs
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆75Updated 7 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• jovanbulck / nemesis
  Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
  ☆87Updated 3 years ago
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆18Updated 4 years ago
• peterbjornx / meloader
  Linux i386 tool to load and execute ME modules.
  ☆133Updated 4 years ago
• vegard / prog-fuzz
  Compiler/source code fuzzing tool using AFL instrumentation
  ☆124Updated 6 years ago