Sign inSign up
banescusebi

Sebastian Banescu

Community User

Displaying 1 to 5 of 5 repositories

image

An environment where one can apply obfuscation to C programs and attack them with symbolic execution

8y

10K+

image

A tool for synthesizing computer programs

9y

190

image

Ubuntu 14.04 + KLEE symbolic execution engine + Tigress obfuscation engine

9y

333