Beast code in Giters

UCSD PLSysSec's repositories

veriwasm

SFI verifier of Wasm binaries

Language:RustNOASSERTION80 13 6

blade

Benchmarks for the Blade paper

Language:C8 12 2

ms-wasm

MS-Wasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Build and reproduce the results from the paper.

7 120

scooter

Language:Rust500

cse127-website

Language:HTML200

paper_template

A template... for papers... as above

Language:Python200

mswasm-graal

GraalVM: Run Programs Faster Anywhere :rocket:

Language:JavaNOASSERTION100

wasm2c_sandbox_compiler

The WebAssembly Binary Toolkit

Language:C++Apache-2.01 30

wasmtime-blade

Standalone JIT-style runtime for WebAssembly, using Cranelift

Apache-2.0100

cheri-rwasm

Language:RustBSD-3-Clause000

cheri_rlbox_base

Language:Makefile000

firefox-rlboxed-lib-perf

Language:HTML000

fuzzilli

A JavaScript Engine Fuzzer

Language:SwiftApache-2.0020

hfi-nginx

Language:CNOASSERTION000

hfi-safeside

Language:C++BSD-3-Clause000

hfi-sightglass

A benchmark suite and tool to compare different implementations of the same primitives.

Language:CApache-2.0000

hfi-transientfail

Language:CZlib000

hfi-wasmtime-pub

Language:RustApache-2.0000

hfi_firefox

NOASSERTION000

hfi_wasm2c_sandbox_compiler

Language:CApache-2.0000

hw_isol_gem5

Language:C++BSD-3-Clause010

lalrpop

LR(1) parser generator for Rust

Apache-2.0000

libjpeg-turbo-benchmark

Main libjpeg-turbo repository

Language:CNOASSERTION000

libsignal

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

AGPL-3.0000

rav1d

An AV1 decoder in Rust.

BSD-2-Clause000

rlbox_hfi_wasm2c_sandbox

Language:C++MIT0160

veriwasm-full

VeriWasm with full jump and call analysis

Language:Rust000

veriwasm_public_data

Data to evaluate VeriWasm

Language:WebAssembly000

visit-day-rails

A rails app for visit day. Get Hype

Language:Ruby000

WasmCert-Coq

A mechanisation of Wasm in Coq

Language:CoqMIT000