Pinned Repositories
ct-wasm
Constant-Time WebAssembly
FaCT
Flexible and Constant Time Programming Language
haybale
Symbolic execution of LLVM IR with an engine written in Rust
haybale-pitchfork
Verifying constant-time code with symbolic execution
lio
Labeled IO Library
rlbox
RLBox sandboxing framework
swivel
sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
veriwasm
SFI verifier of Wasm binaries
wave
Verified Wasm runtime
UCSD PLSysSec's Repositories
PLSysSec/cse227-spring22
PLSysSec/lucet-spectre
PLSysSec/wasmtime-spectre
PLSysSec/hostcall_instrumented_wasmtime
wasmtime instrumented with hw timers at the hostcall boundary to measure I/O latency
PLSysSec/mswasm-llvm
LLVM fork for producing MS-Wasm
PLSysSec/rustc-cet
PLSysSec/safeside
Understand and mitigate software-observable side-channels
PLSysSec/boogie
Boogie
PLSysSec/corral
solver for the reachability modulo theories problem
PLSysSec/hfi_spectre_webserver
PLSysSec/libvips-sandboxed
A fast image processing library with low memory needs.
PLSysSec/mswasm-polybench
Makefile for compiling PolyBench to MSWasm
PLSysSec/mswasm-wabt
MS-Wasm fork of WABT
PLSysSec/mswasm-wasi-libc
MS-Wasm fork of wasi-libc
PLSysSec/mswasm-wasi-sdk
WASI-enabled MSWasm C/C++ toolchain (based off https://github.com/WebAssembly/wasi-sdk)
PLSysSec/nacl_sandbox_compiler
PLSysSec/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
PLSysSec/qemu-hfi
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
PLSysSec/rlbox_nacl_sandbox
RLBox integration to leverage Native Client (NaCl) sandboxes
PLSysSec/rWasm-x86
A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
PLSysSec/sfi-spectre-testing
PLSysSec/sfispectre_webserver
PLSysSec/sharp-sandboxed
High performance Node.js image processing, the fastest module to resize JPEG, PNG, WebP, AVIF and TIFF images. Uses the libvips library.
PLSysSec/simdjson-tests
Testing framework for simdjson library when sandboxed to WASM with the SIMD128 instruction set
PLSysSec/walkspec-hfi
PLSysSec/WASI
WebAssembly System Interface
PLSysSec/wasi-lmbench
PLSysSec/wasix
PLSysSec/wasm-lucet-spec06
PLSysSec/wasm2native
Turn WASI apps into native executables