Skip to content

@PLSysSec UCSD PLSysSec

Change the repository type filter

All

    Repositories list

    200 repositories

    • cse190-spring2025

      Public
      Makefile
      •0•0•0•0•Updated May 2, 2025May 2, 2025

    • rlbox_nacl_sandbox

      Public
      RLBox integration to leverage Native Client (NaCl) sandboxes
      C++
      •
      MIT License
      •0•1•0•0•Updated May 2, 2025May 2, 2025

    • rlbox

      Public
      RLBox sandboxing framework
      webassemblysandboxing
      C++
      •
      MIT License
      •21•298•25•0•Updated Apr 30, 2025Apr 30, 2025

    • rlbox_wasm2c_sandbox

      Public
      C
      •
      MIT License
      •13•17•0•0•Updated Apr 30, 2025Apr 30, 2025

    • hw_isol_gem5

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Apr 25, 2025Apr 25, 2025

    • wabt

      Public
      The WebAssembly Binary Toolkit
      C++
      •
      Apache License 2.0
      •739•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • tock-veri-asm

      Public
      Reasoning about inline assembly in the Tock OS
      Rust
      •2•0•1•0•Updated Apr 16, 2025Apr 16, 2025

    • tock

      Public
      A secure embedded operating system for microcontrollers
      Rust
      •
      Other
      •739•0•0•0•Updated Apr 16, 2025Apr 16, 2025

    • cse227-spring25

      Public
      Makefile
      •0•0•0•0•Updated Apr 8, 2025Apr 8, 2025

    • cargo-scan

      Public
      A tool for auditing Rust crates
      Rust
      •
      MIT License
      •4•17•18•0•Updated Mar 29, 2025Mar 29, 2025

    • hfi-nginx

      Public
      C
      •
      Other
      •8•0•0•0•Updated Mar 12, 2025Mar 12, 2025

    • go-preempt

      Public
      The Go programming language
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •18k•0•0•0•Updated Feb 26, 2025Feb 26, 2025

    • rlbox-book

      Public
      C++
      •
      MIT License
      •3•4•0•0•Updated Feb 15, 2025Feb 15, 2025

    • icarus-firefox

      Public
      🦊 Trustworthy CacheIR in Firefox
      Other
      •0•0•0•1•Updated Feb 11, 2025Feb 11, 2025

    • icarus

      Public
      🏅 A domain-specific language for trustworthy JIT implementation
      Rust
      •0•6•1•1•Updated Feb 11, 2025Feb 11, 2025

    • cse291k-fall24

      Public
      Rusty systems class
      Makefile
      •0•5•0•0•Updated Dec 1, 2024Dec 1, 2024

    • colorguard_benchmarks

      Public
      benchmarks for colorguard / segue paper
      Shell
      •0•0•0•0•Updated Oct 18, 2024Oct 18, 2024

    • hfi-riscv-std

      Public
      hfi riscv standard work
      0•0•0•0•Updated Sep 4, 2024Sep 4, 2024

    • cse291j-spring24

      Public
      Blockchain Security
      Makefile
      •0•3•0•0•Updated Jun 4, 2024Jun 4, 2024

    • DPDK-GEM5

      Public
      Modifications to GEM5 for running kernel bypass networking. (DPDK)
      C
      •4•1•0•0•Updated Apr 6, 2024Apr 6, 2024

    • wasmtime-colorguard

      Public
      A fast and secure runtime for WebAssembly
      Rust
      •
      Apache License 2.0
      •1.4k•1•0•0•Updated Feb 8, 2024Feb 8, 2024

    • hfi-root

      Public
      C
      •
      MIT License
      •2•5•1•0•Updated Jan 22, 2024Jan 22, 2024

    • hfi_misc

      Public
      C
      •1•0•0•0•Updated Jan 22, 2024Jan 22, 2024

    • simd-decoding

      Public
      Collection of scripts necessary for comparative analysis of sandboxed decoding with SIMD128
      Shell
      •0•0•0•0•Updated Nov 29, 2023Nov 29, 2023

    • go-epoch-tweak

      Public
      The Go programming language
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •18k•0•0•0•Updated Nov 21, 2023Nov 21, 2023

    • go-benchmarks

      Public
      Benchmarks for the perf dashboard
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •49•0•0•0•Updated Nov 8, 2023Nov 8, 2023

    • zerocost_root

      Public
      Root repo for zerocost testing
      HTML
      •0•2•0•0•Updated Nov 6, 2023Nov 6, 2023

    • llvm-speculative-ct

      Public
      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.
      Other
      •13k•0•0•0•Updated Nov 3, 2023Nov 3, 2023

    • wave

      Public
      Verified Wasm runtime
      Rust
      •6•27•7•0•Updated Oct 30, 2023Oct 30, 2023

    • wasm-runtime-benchmarks

      Public
      I/O-heavy benchmarks for testing wasm runtimes
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 30, 2023Oct 30, 2023