Repositories list

• tock

  Public
  A secure embedded operating system for microcontrollers

  Rust

  •

  Other

  •690•0•0•1•Updated Oct 2, 2024Oct 2, 2024

• cse291k-fall24

  Public
  Rusty systems class

  Makefile

  •0•5•0•0•Updated Oct 2, 2024Oct 2, 2024

• cargo-scan

  Public
  A tool for auditing Rust crates

  Rust

  •

  MIT License

  •3•14•19•0•Updated Sep 26, 2024Sep 26, 2024

• wabt

  Public
  The WebAssembly Binary Toolkit

  C++

  •

  Apache License 2.0

  •691•0•0•0•Updated Sep 19, 2024Sep 19, 2024

• go-preempt

  Public
  The Go programming language

  Go

  •

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

  •18k•0•0•0•Updated Sep 16, 2024Sep 16, 2024

• rlbox_wasm2c_sandbox

  Public
  C++

  •

  MIT License

  •13•12•0•0•Updated Sep 5, 2024Sep 5, 2024

• hfi-riscv-std

  Public
  hfi riscv standard work

  0•0•0•0•Updated Sep 4, 2024Sep 4, 2024

• rlbox

  Public
  RLBox sandboxing framework

  webassemblysandboxing

  C++

  •

  MIT License

  •21•286•25•1•Updated Jul 27, 2024Jul 27, 2024

• cse291j-spring24

  Public
  Blockchain Security

  Makefile

  •0•2•0•0•Updated Jun 4, 2024Jun 4, 2024

• cachet

  Public
  🏅 A domain-specific language for trustworthy JIT implementation

  Boogie

  •0•0•1•1•Updated Apr 17, 2024Apr 17, 2024

• DPDK-GEM5

  Public
  Modifications to GEM5 for running kernel bypass networking. (DPDK)

  C

  •5•1•0•0•Updated Apr 6, 2024Apr 6, 2024

• rlbox-book

  Public
  C++

  •

  MIT License

  •3•3•0•0•Updated Mar 5, 2024Mar 5, 2024

• wasmtime-colorguard

  Public
  A fast and secure runtime for WebAssembly

  Rust

  •

  Apache License 2.0

  •1.3k•0•0•0•Updated Feb 8, 2024Feb 8, 2024

• hfi-root

  Public
  C

  •

  MIT License

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

  •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

• 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

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

• wave

  Public
  Verified Wasm runtime

  Rust

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

• haybale

  Public
  Symbolic execution of LLVM IR with an engine written in Rust

  Rust

  •

  MIT License

  •24•534•6•0•Updated Oct 27, 2023Oct 27, 2023

• weggli

  Public
  weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

  Rust

  •

  Apache License 2.0

  •127•0•0•0•Updated Oct 10, 2023Oct 10, 2023

• swivel

  Public
  HTML

  •3•16•0•0•Updated Oct 9, 2023Oct 9, 2023

• swivel-btb-exploit

  Public
  WebAssembly

  •1•0•0•0•Updated Oct 9, 2023Oct 9, 2023

• node.bcrypt.js

  Public archive
  C++

  •0•0•0•12•Updated Sep 16, 2023Sep 16, 2023

• cachet-firefox

  Public
  🦊 Trustworthy CacheIR in Firefox

  Other

  •0•0•0•1•Updated Sep 10, 2023Sep 10, 2023

• rustls-ffi

  Public
  Use rustls from languages other than Rust

  Rust

  •

  Other

  •30•0•0•0•Updated Aug 22, 2023Aug 22, 2023

• hyper

  Public
  An HTTP library for Rust

  Rust

  •

  MIT License

  •1.6k•0•0•0•Updated Aug 22, 2023Aug 22, 2023