Repositories list

• rlbox-book

  Public
  C++

  •

  MIT License

  •3•4•0•0•Updated Aug 1, 2025Aug 1, 2025

• tock

  Public
  A secure embedded operating system for microcontrollers

  Rust

  •

  Other

  •763•0•0•0•Updated Jul 30, 2025Jul 30, 2025

• rlbox

  Public
  RLBox sandboxing framework

  webassemblysandboxing

  C++

  •

  MIT License

  •22•304•25•0•Updated Jul 28, 2025Jul 28, 2025

• rlbox_nacl_sandbox

  Public
  RLBox integration to leverage Native Client (NaCl) sandboxes

  C++

  •

  MIT License

  •0•1•0•0•Updated Jun 19, 2025Jun 19, 2025

• wabt

  Public
  The WebAssembly Binary Toolkit

  C++

  •

  Apache License 2.0

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

• rlbox_wasm2c_sandbox

  Public
  C

  •

  MIT License

  •13•17•0•0•Updated May 15, 2025May 15, 2025

• hw_isol_gem5

  Public
  C++

  •

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

  •0•1•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

• cargo-scan

  Public
  A tool for auditing Rust crates

  Rust

  •

  MIT License

  •4•19•18•1•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

• 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

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

• hfi-root

  Public
  C

  •

  MIT License

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

  •15k•0•0•0•Updated Nov 3, 2023Nov 3, 2023

• wave

  Public
  Verified Wasm runtime

  Rust

  •7•28•7•0•Updated Oct 30, 2023Oct 30, 2023