UCSD PLSysSec
- UCSD
Repositories
-
rlbox_sandboxing_api
Implementation of the RLBox sandboxing API
-
zerocost-nodejs-benchmarks
Forked from fastify/benchmarksFast and low overhead web framework fastify benchmarks.
-
rlbox_lucet_sandbox
RLbox integration to leverage WASM sandboxes compiled lucet
-
haybale-pitchfork
Verifying constant-time code with symbolic execution
-
haybale
Symbolic execution of LLVM IR with an engine written in Rust
-
blade
Benchmarks for the Blade paper
-
-
zerocost_llvm
Forked from llvm/llvm-projectThe 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.
-
lucet_sandbox_compiler
Forked from bytecodealliance/lucetA modified version of the lucet compiler suitable for library sandboxes.
-
-
-
-
-
-
lio
Labeled IO Library
-
sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
-
-
haskell-boolector
Haskell bindings for the Boolector SMT solver
-
frankie
Simple well-typed Haskell webserver and routing framework
-
wasmtime-blade
Forked from bytecodealliance/wasmtimeStandalone JIT-style runtime for WebAssembly, using Cranelift
-
libprio
Forked from mozilla/libprioA C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/
-
firefox-spectre
Forked from mozilla/gecko-devRead-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code
-