Taejoon Byun's repositories
manifold-testgen
Manifold-based test generation for image classifiers
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.
Language:ShellMIT000
fuzzball-tj
FuzzBALL: Vine-based Binary Symbolic Execution
Language:OCamlNOASSERTION000
Language:C++000
lustre
Test Generation for Lustre
Language:JavaBSD-3-Clause000
Language:Python000
samples
DARPA Cyber Grand Challenge Sample Challenges
Language:C000
tj-byun.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:HTML000