Pinned Repositories
klee
KLEE Symbolic Execution Engine
1nsanity
LLVM pass that obfuscates against symbolic execution
A-Rusty-Road
A challenge I wrote for CSAW 2017 finals; used as RE 200
CTF
CTF Solvers and Binaries
fzero_fuzzer
A fast Rust-based safe and thead-friendly grammar-based fuzz generator
Indianer-hacklu-2017
Write Up Material For A Pwn/Web Challenge From Hacklu 2017
Kleenex
C++ wrapper around KLEE and AFL for intelligent, coverage guided fuzzing. Developed while doing research at MWR Infosecurity
mcsema-docker
Dockerfile for McSema the executable lifter that translates executable binaries from native machine code to LLVM bitcode developed by Trail of Bits.
svv232.github.io
svegas18.io with jekyll
wTf_rUsT
Learning Rust is fun here is what I have done so far
svv232's Repositories
svv232/1nsanity
LLVM pass that obfuscates against symbolic execution
svv232/Kleenex
C++ wrapper around KLEE and AFL for intelligent, coverage guided fuzzing. Developed while doing research at MWR Infosecurity
svv232/CTF
CTF Solvers and Binaries
svv232/fzero_fuzzer
A fast Rust-based safe and thead-friendly grammar-based fuzz generator
svv232/mcsema-docker
Dockerfile for McSema the executable lifter that translates executable binaries from native machine code to LLVM bitcode developed by Trail of Bits.
svv232/wTf_rUsT
Learning Rust is fun here is what I have done so far
svv232/A-Rusty-Road
A challenge I wrote for CSAW 2017 finals; used as RE 200
svv232/Indianer-hacklu-2017
Write Up Material For A Pwn/Web Challenge From Hacklu 2017
svv232/svv232.github.io
svegas18.io with jekyll
svv232/AI
Me trying to be cool experimenting with openai/tensorflow/and decision trees :)
svv232/Bots-For-Fun
Fun Facebook app deployed with Heroku
svv232/btc_return_notebook
svv232/C
Sub projects and SDL games from Harvard's CS50 course
svv232/Data-Structs-Algos-
The README says it all !
svv232/DB_Project
Frankl DB Proj
svv232/emblem
An OCaml library for well typed, distributed, roughly ordered 128 bit ids.
svv232/Envs-Dot
Dev Environments and Dotfiles
svv232/golang0
chat-client written in go
svv232/Hack-Night
Manticore and z3 Hack Night Talks
svv232/makecloud
svv232/nmt
TensorFlow Neural Machine Translation Tutorial
svv232/ocaml-x509
X509 (RFC5280) handling in OCaml
svv232/os3224_vagrant
svv232/Processing
Processing Projects done while studying Data Structures under Professor John Iacono at NYU
svv232/publications
Publications from Trail of Bits
svv232/Pwnable.kr
My Binaries and solutions for pwnable.kr
svv232/remill
Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode
svv232/s-L_imc
imc prosperity entry for leon and sai
svv232/svegas18.io
Personal Site as Flask Application
svv232/TyPLONK
Rust PLONK implementation