Repositories list

• cargo-scan

  Public
  A tool for auditing Rust crates

  Rust

  •

  MIT License

  •5•24•18•0•Updated Feb 3, 2026Feb 3, 2026

• cse291p-winter26

  Public
  0•0•0•0•Updated Jan 15, 2026Jan 15, 2026

• tock

  Public
  A secure embedded operating system for microcontrollers

  Rust

  •

  Other

  •804•3•0•2•Updated Dec 17, 2025Dec 17, 2025

• rlbox

  Public
  RLBox sandboxing framework

  webassemblysandboxing

  C++

  •

  MIT License

  •24•318•25•0•Updated Dec 15, 2025Dec 15, 2025

• cse291y-fall25

  Public
  Makefile

  •0•0•0•0•Updated Dec 2, 2025Dec 2, 2025

• tock-veri-asm

  Public
  Reasoning about inline assembly in the Tock OS

  Rust

  •2•0•1•0•Updated Oct 15, 2025Oct 15, 2025

• rlbox-book

  Public
  C++

  •

  MIT License

  •3•5•0•0•Updated Sep 27, 2025Sep 27, 2025

• rlbox_wasm2c_sandbox

  Public
  C

  •

  MIT License

  •15•19•0•0•Updated Sep 8, 2025Sep 8, 2025

• rlbox_nacl_sandbox

  Public
  RLBox integration to leverage Native Client (NaCl) sandboxes

  C++

  •

  MIT License

  •0•2•0•0•Updated Jun 19, 2025Jun 19, 2025

• wabt

  Public
  The WebAssembly Binary Toolkit

  C++

  •

  Apache License 2.0

  •793•0•0•0•Updated Jun 18, 2025Jun 18, 2025

• cse190-spring2025

  Public
  Makefile

  •0•1•0•0•Updated Jun 4, 2025Jun 4, 2025

• cse227-spring25

  Public
  Makefile

  •0•0•0•0•Updated May 22, 2025May 22, 2025

• hw_isol_gem5

  Public
  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •0•2•0•0•Updated Apr 25, 2025Apr 25, 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

  •19k•0•0•0•Updated Feb 26, 2025Feb 26, 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•8•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

• robust-crypto-supercop

  Public
  C

  •0•0•0•0•Updated Nov 5, 2024Nov 5, 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.6k•1•0•0•Updated Feb 8, 2024Feb 8, 2024

• hfi-root

  Public
  C

  •

  MIT License

  •2•6•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

  •19k•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

  •48•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