PLSysSec/hostcall_instrumented_wasmtime

Stars
1
Language
Rust
License
Apache License 2.0
Created almost 3 years ago
Updated over 2 years ago

PLSysSec/hostcall_instrumented_wasmtime

PLSysSec

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

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

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

rlbox_lucet_sandbox

RLbox integration to leverage WASM sandboxes compiled lucet

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

ct-wasm-proofs

Proofs about the soundness and timing properties of CT-Wasm