Pinned Repositories
cargo-scan
A tool for auditing Rust crates
ct-wasm
Constant-Time WebAssembly
FaCT
Flexible and Constant Time Programming Language
haybale
Symbolic execution of LLVM IR with an engine written in Rust
haybale-pitchfork
Verifying constant-time code with symbolic execution
lio
Labeled IO Library
rlbox
RLBox sandboxing framework
sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
veriwasm
SFI verifier of Wasm binaries
wave
Verified Wasm runtime
UCSD PLSysSec's Repositories
PLSysSec/haybale
Symbolic execution of LLVM IR with an engine written in Rust
PLSysSec/rlbox
RLBox sandboxing framework
PLSysSec/wave
Verified Wasm runtime
PLSysSec/cargo-scan
A tool for auditing Rust crates
PLSysSec/swivel
PLSysSec/rlbox_wasm2c_sandbox
PLSysSec/icarus
🏅 A domain-specific language for trustworthy JIT implementation
PLSysSec/cse291k-fall24
Rusty systems class
PLSysSec/hfi-root
PLSysSec/rlbox-book
PLSysSec/cse291j-spring24
Blockchain Security
PLSysSec/zerocost_root
Root repo for zerocost testing
PLSysSec/DPDK-GEM5
Modifications to GEM5 for running kernel bypass networking. (DPDK)
PLSysSec/wasmtime-colorguard
A fast and secure runtime for WebAssembly
PLSysSec/tock
A secure embedded operating system for microcontrollers
PLSysSec/go-benchmarks
Benchmarks for the perf dashboard
PLSysSec/go-epoch-tweak
The Go programming language
PLSysSec/go-preempt
The Go programming language
PLSysSec/hfi-riscv-std
hfi riscv standard work
PLSysSec/hfi_misc
PLSysSec/icarus-firefox
🦊 Trustworthy CacheIR in Firefox
PLSysSec/llvm-speculative-ct
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.
PLSysSec/node.bcrypt.js
PLSysSec/rustls-ffi
Use rustls from languages other than Rust
PLSysSec/simd-decoding
Collection of scripts necessary for comparative analysis of sandboxed decoding with SIMD128
PLSysSec/swivel-btb-exploit
PLSysSec/tock-veri-asm
A sandbox repo for reasoning about inline assembly in the Tock OS
PLSysSec/wabt
The WebAssembly Binary Toolkit
PLSysSec/wasm-runtime-benchmarks
I/O-heavy benchmarks for testing wasm runtimes
PLSysSec/weggli
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.