williamsryan Goto Github PK

afl

american fuzzy lop - a security-oriented fuzzer

ai-deadlines

:alarm_clock: AI conference deadline countdowns

azure-uamqp-c

AMQP library for C

bruinlens

Application uses live webcam data and converts to UCLA-colored ellipses.

cbmc

C Bounded Model Checker

contiki-ng

Contiki-NG: The OS for Next Generation IoT Devices

election-visualizations

Visualization work for 2018 Colombian election.

juliet-wasm

lava-wasm

LAVA: Large-scale Automated Vulnerability Addition

libcoap

A CoAP (RFC 7252) implementation in C

libnyoci

A flexible CoAP stack for embedded devices and computers. RFC7252 compatible.

manticore

Symbolic execution tool

mosquitto

Eclipse Mosquitto - An open source MQTT broker

mosquitto-debloat

Debloated Version of IoT MQTT Protocol

opendds-debloat

OpenDDS is an open source C++ implementation of the Object Management Group (OMG) Data Distribution Service (DDS). OpenDDS also supports Java bindings through JNI.

panda

Platform for Architecture-Neutral Dynamic Analysis

quacky

A tool for quantitatively assessing permissiveness of access control policies in the cloud

saw-script

The SAW scripting language.

sca-fuzzer

Revizor - a fuzzer that searches for microarchitectural leaks in CPUs

sweptaway

Processing-based video game.

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

utilities

Repo for personal scripts/etc for new computer setups.

vellvm

The Vellvm (Verified LLVM) coq development.

wasabi

A dynamic analysis framework for WebAssembly programs.

wasmtime

A fast and secure runtime for WebAssembly

wassail

wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

williamsryan.github.io

Personal site assets

z3_codegen

A toy code generator (i.e. "program synthesis") using the Z3 solver