PLSysSec/wave PLSysSec/wave

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    Rust
  • Created over 3 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
PLSysSec/wave
github

PLSysSec

Reviews

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

Repository Details

Verified Wasm runtime

More Repositories

1

haybale

Symbolic execution of LLVM IR with an engine written in Rust
Rust
524
star
2

rlbox

RLBox sandboxing framework
C++
283
star
3

sys

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

FaCT

Flexible and Constant Time Programming Language
OCaml
197
star
5

veriwasm

SFI verifier of Wasm binaries
Rust
79
star
6

lio

Labeled IO Library
Haskell
54
star
7

haybale-pitchfork

Verifying constant-time code with symbolic execution
Rust
42
star
8

ct-wasm

Constant-Time WebAssembly
24
star
9

swivel

HTML
16
star
10

cargo-scan

A tool for auditing Rust crates
Rust
13
star
11

rlbox_lucet_sandbox

RLbox integration to leverage WASM sandboxes compiled lucet
C++
12
star
12

pitchfork-angr

Python
12
star
13

rlbox_wasm2c_sandbox

C++
11
star
14

vera

JavaScript
11
star
15

veriwasm-verification

Coq proof for Veriwasm
Coq
9
star
16

bindings

Exploits from the Finding and Preventing Bugs in JavaScript Bindings paper
JavaScript
9
star
17

blade

Benchmarks for the Blade paper
C
8
star
18

ms-wasm

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

haskell-boolector

Haskell bindings for the Boolector SMT solver
Haskell
5
star
20

scooter

Rust
5
star
21

ct-wasm-ports

WebAssembly
5
star
22

hfi-root

C
4
star
23

rlbox-book

C++
3
star
24

go2wrk

a small heavy duty http/https benchmark tool written in go
Go
3
star
25

cse227-spring22

Makefile
2
star
26

cse291-fall16

CSE 291, Fall 2016
HTML
2
star
27

lucet-spectre

Rust
2
star
28

paper_template

A template deian doesn't like for papers
Python
2
star
29

inline-fact

Inline FaCT in Haskell
Haskell
2
star
30

zerocost_root

Root repo for zerocost testing
HTML
2
star
31

cse127-website

HTML
2
star
32

wasmtime-spectre

Rust
2
star
33

frankie

Simple well-typed Haskell webserver and routing framework
Haskell
1
star
34

rlbox_wamr_sandbox

RLBox integration to leverage WASM sandboxes compiled with WAMR
C++
1
star
35

CTFFI

Python FFI for FaCT
Python
1
star
36

simple_library_example

Small library example. Good example for porting to rlbox and testing features
C++
1
star
37

wasm2c_sandbox_compiler

The WebAssembly Binary Toolkit
C++
1
star
38

ct-wasm-chromium

Instructions and resources for building chromium with support for CT-Wasm
1
star
39

cse291-spring21

Makefile
1
star
40

wasm-beyond-the-browser

A site for the workshop at Berkeley
HTML
1
star
41

mswasm-llvm

LLVM fork for producing MS-Wasm
C++
1
star
42

tasty-gradescope

Generate GradeScope score summaries from Tasty tests
Haskell
1
star
43

cse130-winter17

CSE 130 Winter 2017 course repo
HTML
1
star
44

rustc-cet

Rust
1
star
45

node

Fork of node using the safe V8 API to address binding bugs
JavaScript
1
star
46

hostcall_instrumented_wasmtime

wasmtime instrumented with hw timers at the hostcall boundary to measure I/O latency
Rust
1
star
47

ct-wasm-proofs

Proofs about the soundness and timing properties of CT-Wasm
Isabelle
1
star