Projects in Awesome Lists by PLSysSec
A curated list of projects in awesome lists by PLSysSec .
https://github.com/PLSysSec/haybale
Symbolic execution of LLVM IR with an engine written in Rust
Last synced: 02 Apr 2025
https://github.com/plsyssec/haybale
Symbolic execution of LLVM IR with an engine written in Rust
Last synced: 16 May 2025
https://github.com/plsyssec/sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
bug-finding security static-analysis symbolic-execution
Last synced: 03 Apr 2025
https://github.com/plsyssec/fact
Flexible and Constant Time Programming Language
Last synced: 21 Aug 2025
https://github.com/plsyssec/haybale-pitchfork
Verifying constant-time code with symbolic execution
Last synced: 10 Oct 2025
https://github.com/plsyssec/rlbox_lucet_sandbox
RLbox integration to leverage WASM sandboxes compiled lucet
Last synced: 04 May 2025
https://github.com/plsyssec/bindings
Exploits from the Finding and Preventing Bugs in JavaScript Bindings paper
Last synced: 04 May 2025
https://github.com/plsyssec/ms-wasm
MS-Wasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Build and reproduce the results from the paper.
Last synced: 02 Mar 2025
https://github.com/plsyssec/icarus
🏅 A domain-specific language for trustworthy JIT implementation
Last synced: 15 May 2025
https://github.com/PLSysSec/icarus
🏅 A domain-specific language for trustworthy JIT implementation
Last synced: 02 Mar 2025
https://github.com/plsyssec/haskell-boolector
Haskell bindings for the Boolector SMT solver
Last synced: 04 May 2025
https://github.com/plsyssec/go2wrk
a small heavy duty http/https benchmark tool written in go
Last synced: 12 Jan 2026
https://github.com/plsyssec/paper_template
A template deian doesn't like for papers
Last synced: 02 Mar 2025
https://github.com/plsyssec/tasty-gradescope
Generate GradeScope score summaries from Tasty tests
Last synced: 02 Mar 2025
https://github.com/plsyssec/cse130-winter17
CSE 130 Winter 2017 course repo
Last synced: 02 Mar 2025
https://github.com/plsyssec/rlbox_wamr_sandbox
RLBox integration to leverage WASM sandboxes compiled with WAMR
Last synced: 27 Nov 2025
https://github.com/plsyssec/node
Fork of node using the safe V8 API to address binding bugs
Last synced: 04 May 2025
https://github.com/plsyssec/ct-wasm-proofs
Proofs about the soundness and timing properties of CT-Wasm
Last synced: 02 Mar 2025
https://github.com/plsyssec/ct-wasm-chromium
Instructions and resources for building chromium with support for CT-Wasm
Last synced: 02 Mar 2025
https://github.com/plsyssec/hostcall_instrumented_wasmtime
wasmtime instrumented with hw timers at the hostcall boundary to measure I/O latency
Last synced: 25 Nov 2025
https://github.com/plsyssec/wasm-beyond-the-browser
A site for the workshop at Berkeley
Last synced: 03 Sep 2025
https://github.com/plsyssec/simple_library_example
Small library example. Good example for porting to rlbox and testing features
Last synced: 02 Mar 2025
https://github.com/plsyssec/frankie
Simple well-typed Haskell webserver and routing framework
Last synced: 06 Oct 2025
https://github.com/plsyssec/dudect
fork of dudect that reads data from files
Last synced: 02 Mar 2025
https://github.com/plsyssec/rlbox_nacl_sandbox
RLBox integration to leverage Native Client (NaCl) sandboxes
Last synced: 02 Mar 2025
https://github.com/plsyssec/lockdown-node
Clone of node with code integrity (lockdown)
Last synced: 08 Oct 2025
https://github.com/plsyssec/simdjson-tests
Testing framework for simdjson library when sandboxed to WASM with the SIMD128 instruction set
Last synced: 10 Oct 2025
https://github.com/plsyssec/zerocost-libjpeg-turbo
libjpeg-turbo with benchmarks for zerocost transitions
Last synced: 13 Oct 2025
https://github.com/plsyssec/icarus-firefox
🦊 Trustworthy CacheIR in Firefox
Last synced: 24 Jan 2026
https://github.com/plsyssec/fslio
Flow sensitive encoding in a flow insensitive calculus
Last synced: 28 Jan 2026
https://github.com/plsyssec/sightglass
Up to date sightglass for sfi-spectre project
Last synced: 16 Jul 2025
https://github.com/plsyssec/gc-model
model of a runtime and gc embedded in haskell
Last synced: 02 Aug 2025
https://github.com/plsyssec/wasm-runtime-benchmarks
I/O-heavy benchmarks for testing wasm runtimes
Last synced: 22 Aug 2025
https://github.com/plsyssec/ct-wasm-site
Site for hosting CT-Wasm artifacts
Last synced: 02 Mar 2025
https://github.com/plsyssec/tock-veri-asm
Reasoning about inline assembly in the Tock OS
Last synced: 03 Jul 2025