rhuizer/bcsat
CMake based build for BCPackage -- http://users.ics.aalto.fi/tjunttil/bcsat/
Developer Profile
rhuizer
Discovered public repositories for rhuizer in the GitHub catalog.
rhuizer/netlist
A simple circuit library for easy generation of large complicated SAT queries or garbled circuits
rhuizer/sha1-sat
SAT instance generator for SHA-1
rhuizer/nids-mixer
A NS3 based TCP stream mixer for NIDS dataset generation.
rhuizer/game-utils
Collection of miscellaneous game related code
rhuizer/ds1963s-utils
Side-channel attack, emulation, and tools for the DS1963S iButton.
rhuizer/alleycat
An open source IBM AlleyCat 1984 implementation
rhuizer/libaosc
libaosc is a library for converting x86 shellcode into randomized ASCII-only shellcode.