UCSD PLSysSec

UCSD

Pinned Repositories

ct-wasm
Constant-Time WebAssembly
24 8 11
FaCT
Flexible and Constant Time Programming Language
Language:OCaml191 14 2213
haybale
Symbolic execution of LLVM IR with an engine written in Rust
Language:Rust518 16 2625
haybale-pitchfork
Verifying constant-time code with symbolic execution
Language:Rust39 6 40
lio
Labeled IO Library
Language:Haskell55 10 1722
rlbox
RLBox sandboxing framework
Language:C++283 11 3420
swivel
Language:HTML16 12 23
sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Language:LLVM215 23 2741
veriwasm
SFI verifier of Wasm binaries
Language:Rust78 13 67
wave
Verified Wasm runtime
Language:Rust16 11 95

UCSD PLSysSec's Repositories

PLSysSec/haybale
Symbolic execution of LLVM IR with an engine written in Rust
Language:Rust518 16 2625
PLSysSec/rlbox
RLBox sandboxing framework
Language:C++283 11 3420
PLSysSec/swivel
Language:HTML16 12 23
PLSysSec/wave
Verified Wasm runtime
Language:Rust16 11 95
PLSysSec/cargo-scan
Static analysis-assisted security for the Rust supply chain
Language:Rust11 6 563
PLSysSec/rlbox_wasm2c_sandbox
Language:C++11 13 412
PLSysSec/hfi-root
Language:C4 16 02
PLSysSec/rlbox-book
Language:C++3 15 23
PLSysSec/zerocost_root
Root repo for zerocost testing
Language:HTML2 12 0
PLSysSec/cachet
🏅 A domain-specific language for trustworthy JIT implementation
Language:Boogie0 10 100
PLSysSec/cachet-firefox
🦊 Trustworthy CacheIR in Firefox
0 9 00
PLSysSec/cse291j-spring24
Blockchain Security
Language:Makefile00
PLSysSec/DPDK-GEM5
Modifications to GEM5 for running kernel bypass networking. (DPDK)
Language:C1 0
PLSysSec/encoding_c
C bindings for encoding_rs
Language:C++1 0
PLSysSec/go-benchmarks
Benchmarks for the perf dashboard
Language:Go1 0
PLSysSec/go-epoch-tweak
The Go programming language
Language:Go1 0
PLSysSec/go-preempt
The Go programming language
Language:Go1 0
PLSysSec/hfi_misc
Language:C16 01
PLSysSec/hyper
An HTTP library for Rust
Language:Rust1 0
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.
1 0
PLSysSec/node.bcrypt.js
Language:C++
PLSysSec/ptmalloc
Language:C1 0
PLSysSec/rustls-ffi
Use rustls from languages other than Rust
Language:Rust1 0
PLSysSec/simd-decoding
Collection of scripts necessary for comparative analysis of sandboxed decoding with SIMD128
Language:Shell2 1
PLSysSec/swivel-btb-exploit
Language:WebAssembly19 01
PLSysSec/tock
A secure embedded operating system for microcontrollers
Language:Rust
PLSysSec/wabt
The WebAssembly Binary Toolkit
Language:C++1 0
PLSysSec/wasm-runtime-benchmarks
I/O-heavy benchmarks for testing wasm runtimes
Language:Python10 0
PLSysSec/wasmtime-colorguard
A fast and secure runtime for WebAssembly
Language:Rust1 0
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.
Language:Rust1 0