Skip to content
@PLSysSec

UCSD PLSysSec

Popular repositories Loading

  1. haybale haybale Public

    Symbolic execution of LLVM IR with an engine written in Rust

    Rust 545 28

  2. rlbox rlbox Public

    RLBox sandboxing framework

    C++ 295 21

  3. sys sys Public

    Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

    LLVM 226 41

  4. FaCT FaCT Public

    Flexible and Constant Time Programming Language

    OCaml 199 15

  5. veriwasm veriwasm Public

    SFI verifier of Wasm binaries

    Rust 81 6

  6. lio lio Public

    Labeled IO Library

    Haskell 57 22

Repositories

Showing 10 of 198 repositories
  • tock Public Forked from tock/tock

    A secure embedded operating system for microcontrollers

    Rust 0 727 0 1 Updated Mar 9, 2025
  • tock-veri-asm Public

    Reasoning about inline assembly in the Tock OS

    Rust 0 2 1 0 Updated Mar 8, 2025
  • cargo-scan Public

    A tool for auditing Rust crates

    Rust 17 MIT 4 18 (1 issue needs help) 0 Updated Mar 7, 2025
  • go-preempt Public Forked from golang/go

    The Go programming language

    Go 0 BSD-3-Clause 18,919 0 0 Updated Feb 26, 2025
  • rlbox-book Public
    C++ 4 MIT 3 0 0 Updated Feb 15, 2025
  • rlbox Public

    RLBox sandboxing framework

    C++ 295 MIT 21 25 0 Updated Feb 14, 2025
  • icarus-firefox Public

    🦊 Trustworthy CacheIR in Firefox

    0 0 0 1 Updated Feb 11, 2025
  • icarus Public

    🏅 A domain-specific language for trustworthy JIT implementation

    Rust 6 0 1 1 Updated Feb 11, 2025
  • cse291k-fall24 Public

    Rusty systems class

    Makefile 5 0 0 0 Updated Dec 1, 2024
  • wabt Public Forked from WebAssembly/wabt

    The WebAssembly Binary Toolkit

    C++ 0 Apache-2.0 747 0 0 Updated Nov 11, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…