There are no reviews yet. Be the first to send feedback to the community and the maintainers!
provably-safe-sandboxing-wasm-usenix22
Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"rWasm
A cross-platform high-performance provably-safe sandboxing Wasm-to-native compilervWasm
A formally-verified provably-safe sandboxing Wasm-to-native compilerowl
Compositional Verification of Security Protocolswasm-semantics-fuzzer
An aid for developing correct WebAssembly implementations through generative fuzzingveribetrkv-osdi2020
VeriBetrKV OSDI'20 artifactmariposa
verus
Verified Rust for low-level systems codeeverquic-dafny
SWISS
Automatically synthesizing invariants of distributed systemsverifiable-computation
Code for the Pinocchio and Geppetto Verifiable Computation systemsveri-datalog
Verified Dataloghuman-eval-verus
herqules
ironsync-osdi2023
IronSync paper artifact for OSDI 2023leaf
Leaf library for Iris Concurrent Separation Logicvest
High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verusriptide-verification
burrow
Burrow coq formalizationLove Open Source and this site? Check out how you can help us