PLSysSec/rlbox_lucet_sandbox

This repository has been archived on 13/Feb/2024
Stars
12
Rank 1,597,372 (Top 32 %)
Language
C++
License
MIT License
Created over 5 years ago
Updated over 3 years ago

PLSysSec/rlbox_lucet_sandbox

PLSysSec

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

RLbox integration to leverage WASM sandboxes compiled lucet

haybale

Symbolic execution of LLVM IR with an engine written in Rust

rlbox

RLBox sandboxing framework

sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

FaCT

Flexible and Constant Time Programming Language

veriwasm

SFI verifier of Wasm binaries

lio

Labeled IO Library

haybale-pitchfork

Verifying constant-time code with symbolic execution

ct-wasm

Constant-Time WebAssembly

wave

Verified Wasm runtime

swivel

cargo-scan

A tool for auditing Rust crates

pitchfork-angr

rlbox_wasm2c_sandbox

vera

veriwasm-verification

Coq proof for Veriwasm

bindings

Exploits from the Finding and Preventing Bugs in JavaScript Bindings paper

blade

Benchmarks for the Blade paper

ms-wasm

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

haskell-boolector

Haskell bindings for the Boolector SMT solver

scooter

ct-wasm-ports

hfi-root

rlbox-book

go2wrk

a small heavy duty http/https benchmark tool written in go

cse227-spring22

cse291-fall16

CSE 291, Fall 2016

lucet-spectre

paper_template

A template deian doesn't like for papers

inline-fact

Inline FaCT in Haskell

zerocost_root

Root repo for zerocost testing

cse127-website

wasmtime-spectre

frankie

Simple well-typed Haskell webserver and routing framework

rlbox_wamr_sandbox

RLBox integration to leverage WASM sandboxes compiled with WAMR

CTFFI

Python FFI for FaCT

simple_library_example

Small library example. Good example for porting to rlbox and testing features

wasm2c_sandbox_compiler

The WebAssembly Binary Toolkit

ct-wasm-chromium

Instructions and resources for building chromium with support for CT-Wasm

cse291-spring21

wasm-beyond-the-browser

A site for the workshop at Berkeley

mswasm-llvm

LLVM fork for producing MS-Wasm

tasty-gradescope

Generate GradeScope score summaries from Tasty tests

cse130-winter17

CSE 130 Winter 2017 course repo

rustc-cet

node

Fork of node using the safe V8 API to address binding bugs

hostcall_instrumented_wasmtime

wasmtime instrumented with hw timers at the hostcall boundary to measure I/O latency

ct-wasm-proofs

Proofs about the soundness and timing properties of CT-Wasm