neural network assisted fuzzer

The released code of ReluVal in USENIX Security 2018

Platform for Architecture-Neutral Dynamic Analysis

Tool for detecting error handling bugs

Tools for auditing WAFS

A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning

Differential fuzzing for the masses!

An on-path blackbox network traffic security testing tool

System to erase traces of user actions on a machine

Proof Of Concept for Android. NoFrak is designed to prevent fracking attacks, as described in "Breaking and Fixing Origin-Based Access Control in Hybrid Web/Mobile Application Frameworks" by Martin…

Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations

A tool for analyzing patch porting in forked codebases