tj-byun

Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

academic-kickstart

fuzzball-tj

FuzzBALL: Vine-based Binary Symbolic Execution

intellij_settings

keras-prioritizer

link-prefetching-website-fingerprinting-defense

lustre

Test Generation for Lustre

manifold-testgen

Manifold-based test generation for image classifiers

object-coverage-criteria

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.

tj-byun/manifold-testgen

Manifold-based test generation for image classifiers

tj-byun/link-prefetching-website-fingerprinting-defense

tj-byun/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.

tj-byun/academic-kickstart

tj-byun/fuzzball-tj

FuzzBALL: Vine-based Binary Symbolic Execution

tj-byun/intellij_settings

tj-byun/keras-prioritizer

tj-byun/lustre

Test Generation for Lustre

tj-byun/object-coverage-criteria

tj-byun/obd2

tj-byun/pyflakes

A simple program which checks Python source files for errors.

tj-byun/samples

DARPA Cyber Grand Challenge Sample Challenges

tj-byun/tj-byun.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

tj-byun/tj-byun.github.io.down

tj-byun/unix-settings