Explore @PLSysSec Open Source projects

UCSD PLSysSec (@PLSysSec)

PLSysSec

Stars
1,613
Global Org. Rank 11,087 (Top 4 %)
Registered over 8 years ago
Most used languages

Rust
22.2 %

C++
17.8 %

HTML
13.3 %

Haskell
11.1 %

Python
6.7 %

JavaScript
6.7 %

Makefile 4.4 %

C
4.4 %

WebAssembly 2.2 %

LLVM 2.2 %

Coq 2.2 %

OCaml
2.2 %

Go
2.2 %

Isabelle 2.2 %
Location 🇺🇸 United States
Country Total Rank 6,569
Country Ranking

LLVM 9

Isabelle 15

WebAssembly 35

OCaml
37

Coq 73

Rust
306

Haskell
316

C++
1,123

Makefile 1,607

HTML
4,816

C
7,626

haybale

Symbolic execution of LLVM IR with an engine written in Rust

rlbox

RLBox sandboxing framework

sys

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

FaCT

Flexible and Constant Time Programming Language

veriwasm

SFI verifier of Wasm binaries

lio

Labeled IO Library

haybale-pitchfork

Verifying constant-time code with symbolic execution

ct-wasm

Constant-Time WebAssembly

wave

Verified Wasm runtime

swivel

cargo-scan

A tool for auditing Rust crates

rlbox_lucet_sandbox

RLbox integration to leverage WASM sandboxes compiled lucet

pitchfork-angr

rlbox_wasm2c_sandbox

vera

veriwasm-verification

Coq proof for Veriwasm

bindings

Exploits from the Finding and Preventing Bugs in JavaScript Bindings paper

blade

Benchmarks for the Blade paper

ms-wasm

MS-Wasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Build and reproduce the results from the paper.

haskell-boolector

Haskell bindings for the Boolector SMT solver

scooter

ct-wasm-ports

hfi-root

rlbox-book

go2wrk

a small heavy duty http/https benchmark tool written in go

cse227-spring22

cse291-fall16

CSE 291, Fall 2016

lucet-spectre

paper_template

A template deian doesn't like for papers

inline-fact

Inline FaCT in Haskell

zerocost_root

Root repo for zerocost testing

cse127-website

wasmtime-spectre

frankie

Simple well-typed Haskell webserver and routing framework

rlbox_wamr_sandbox

RLBox integration to leverage WASM sandboxes compiled with WAMR

CTFFI

Python FFI for FaCT

simple_library_example

Small library example. Good example for porting to rlbox and testing features

wasm2c_sandbox_compiler

The WebAssembly Binary Toolkit

ct-wasm-chromium

Instructions and resources for building chromium with support for CT-Wasm

cse291-spring21

wasm-beyond-the-browser

A site for the workshop at Berkeley

mswasm-llvm

LLVM fork for producing MS-Wasm

tasty-gradescope

Generate GradeScope score summaries from Tasty tests

cse130-winter17

CSE 130 Winter 2017 course repo

rustc-cet

node

Fork of node using the safe V8 API to address binding bugs

hostcall_instrumented_wasmtime

wasmtime instrumented with hw timers at the hostcall boundary to measure I/O latency

ct-wasm-proofs

Proofs about the soundness and timing properties of CT-Wasm