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/sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
PLSysSec/FaCT
Flexible and Constant Time Programming Language
PLSysSec/haybale-pitchfork
Verifying constant-time code with symbolic execution
PLSysSec/rlbox_lucet_sandbox
RLbox integration to leverage WASM sandboxes compiled lucet
PLSysSec/vera
PLSysSec/cse291-spring21
PLSysSec/lucet_sandbox_compiler
A modified version of the lucet compiler suitable for library sandboxes.
PLSysSec/rlbox_wamr_sandbox
RLBox integration to leverage WASM sandboxes compiled with WAMR
PLSysSec/simple_library_example
Small library example. Good example for porting to rlbox and testing features
PLSysSec/socat
Mirror of the socat source code with pre-built releases for Linux (x64 and x86), Windows (x64 and x86), and MacOS (x64)
PLSysSec/capstone-rs
high-level Capstone system bindings for Rust
PLSysSec/cse227-spring21
PLSysSec/cse291-winter22
PLSysSec/deterministic-memsafety
LLVM fork for DMS
PLSysSec/lim_rlbox_firefox_root
PLSysSec/lucet-blade
PLSysSec/mswasm-wasi
MS-Wasm fork of WASI
PLSysSec/rlbox_lim_sandbox
PLSysSec/rlbox_lucet_directcall_benchmarks
PLSysSec/rlbox_mpk_sandbox
PLSysSec/rlbox_segmentsfizerocost_sandbox
PLSysSec/rlbox_wasmtime_sandbox
PLSysSec/veriwasm_fuzzing
Fuzzing scripts for VeriWasm
PLSysSec/wamr_sandbox_compiler
WebAssembly Micro Runtime (WAMR)
PLSysSec/wasi-libc
WASI libc implementation for WebAssembly
PLSysSec/wasi-sdk
WASI-enabled WebAssembly C/C++ toolchain
PLSysSec/zerocost_heavy_trampoline
PLSysSec/zerocost_llvm
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
PLSysSec/zerocost_testing_firefox
PLSysSec/zerocost_testing_sandbox