secure-foundations/provably-safe-sandboxing-wasm-usenix22 secure-foundations/provably-safe-sandboxing-wasm-usenix22

  • Stars
    star
    36
  • Rank 720,390 (Top 15 %)
  • Language WebAssembly
  • License
    BSD 3-Clause "New...
  • Created over 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
secure-foundations/provably-safe-sandboxing-wasm-usenix22
github

secure-foundations

Reviews

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

Repository Details

Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"

More Repositories

1

rWasm

A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
Rust
28
star
2

veri-titan

Verifying OpenTitan
Dafny
20
star
3

vWasm

A formally-verified provably-safe sandboxing Wasm-to-native compiler
OCaml
18
star
4

wasm-semantics-fuzzer

An aid for developing correct WebAssembly implementations through generative fuzzing
Rust
9
star
5

veribetrkv-osdi2020

VeriBetrKV OSDI'20 artifact
Dafny
9
star
6

mariposa

SMT
9
star
7

owl

Compositional Verification of Security Protocols
Haskell
8
star
8

verus

Verified Rust for low-level systems code
Rust
6
star
9

everquic-dafny

C
5
star
10

SWISS

Automatically synthesizing invariants of distributed systems
Python
5
star
11

verifiable-computation

Code for the Pinocchio and Geppetto Verifiable Computation systems
F#
5
star
12

veri-datalog

Verified Datalog
Dafny
4
star
13

herqules

Verilog
3
star
14

ironsync-osdi2023

IronSync paper artifact for OSDI 2023
Dafny
2
star
15

leaf

Leaf library for Iris Concurrent Separation Logic
Coq
2
star
16

riptide-verification

Python
1
star
17

burrow

Burrow coq formalization
Coq
1
star