UCSD PLSysSec

haybale

Symbolic execution of LLVM IR with an engine written in Rust

rlbox

RLBox sandboxing framework

swivel

wave

Verified Wasm runtime

rlbox_wasm2c_sandbox

cargo-scan

Static analysis-assisted security for the Rust supply chain

hfi-root

rlbox-book

zerocost_root

Root repo for zerocost testing

cachet

🏅 A domain-specific language for trustworthy JIT implementation

cachet-firefox

🦊 Trustworthy CacheIR in Firefox

cse291j-spring24

Blockchain Security

DPDK-GEM5

Modifications to GEM5 for running kernel bypass networking. (DPDK)

encoding_c

C bindings for encoding_rs

go-benchmarks

Benchmarks for the perf dashboard

go-epoch-tweak

The Go programming language

go-preempt

The Go programming language

hfi_misc

hyper

An HTTP library for Rust

llvm-speculative-ct

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

node.bcrypt.js

ptmalloc

rustls-ffi

Use rustls from languages other than Rust

simd-decoding

Collection of scripts necessary for comparative analysis of sandboxed decoding with SIMD128

swivel-btb-exploit

tock

A secure embedded operating system for microcontrollers

wabt

The WebAssembly Binary Toolkit

wasm-runtime-benchmarks

I/O-heavy benchmarks for testing wasm runtimes

wasmtime-colorguard

A fast and secure runtime for WebAssembly

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.