svv232 Goto Github PK

1nsanity

LLVM pass that obfuscates against symbolic execution

a-rusty-road

A challenge I wrote for CSAW 2017 finals; used as RE 200

ai

Me trying to be cool experimenting with openai/tensorflow/and decision trees :)

bots-for-fun

Fun Facebook app deployed with Heroku

btc_return_notebook

c

Sub projects and SDL games from Harvard's CS50 course

ctf

CTF Solvers and Binaries

data-structs-algos-

The README says it all !

db_project

Frankl DB Proj

emblem

An OCaml library for well typed, distributed, roughly ordered 128 bit ids.

envs-dot

Dev Environments and Dotfiles

fzero_fuzzer

A fast Rust-based safe and thead-friendly grammar-based fuzz generator

golang0

chat-client written in go

hack-night

Manticore and z3 Hack Night Talks

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

makecloud

mcsema-docker

Dockerfile for McSema the executable lifter that translates executable binaries from native machine code to LLVM bitcode developed by Trail of Bits.

nmt

TensorFlow Neural Machine Translation Tutorial

ocaml-x509

X509 (RFC5280) handling in OCaml

os3224_vagrant

processing

Processing Projects done while studying Data Structures under Professor John Iacono at NYU

publications

Publications from Trail of Bits

pwnable.kr

My Binaries and solutions for pwnable.kr

remill

Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

s-l_imc

imc prosperity entry for leon and sai

svegas18.io

Personal Site as Flask Application

svv232.github.io

svegas18.io with jekyll

wtf_rust

Learning Rust is fun here is what I have done so far