PLSysSec/mswasm-wabt

MS-Wasm fork of WABT

Language: C++ - Size: 20.4 MB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/mswasm-llvm

LLVM fork for producing MS-Wasm

Language: C++ - Size: 1.22 GB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

PLSysSec/cse291j-spring24

Blockchain Security

Language: Makefile - Size: 18.5 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0

PLSysSec/rlbox

RLBox sandboxing framework

Language: C++ - Size: 7.52 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 282 - Forks: 20

PLSysSec/cargo-scan

Static analysis-assisted security for the Rust supply chain

Language: Rust - Size: 48.3 MB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 9 - Forks: 4

PLSysSec/tock Fork of tock/tock

A secure embedded operating system for microcontrollers

Language: Rust - Size: 84.4 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

PLSysSec/haybale

Symbolic execution of LLVM IR with an engine written in Rust

Language: Rust - Size: 4.88 MB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 509 - Forks: 24

PLSysSec/go-preempt Fork of golang/go

The Go programming language

Language: Go - Size: 301 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

PLSysSec/wabt Fork of WebAssembly/wabt

The WebAssembly Binary Toolkit

Language: C++ - Size: 23.1 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

PLSysSec/veriwasm

SFI verifier of Wasm binaries

Language: Rust - Size: 590 KB - Last synced: 17 days ago - Pushed: about 1 year ago - Stars: 78 - Forks: 7

PLSysSec/FaCT

Flexible and Constant Time Programming Language

Language: OCaml - Size: 30.5 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 192 - Forks: 13

PLSysSec/cachet

🏅 A domain-specific language for trustworthy JIT implementation

Language: Boogie - Size: 5.91 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

PLSysSec/rlbox_wasm2c_sandbox

Language: C++ - Size: 131 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 8 - Forks: 10

PLSysSec/paper_template

A template... for papers... as above

Language: Python - Size: 45.9 KB - Last synced: 2 months ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

PLSysSec/ct-wasm-node Fork of nodejs/node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

Language: JavaScript - Size: 336 MB - Last synced: 2 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

PLSysSec/DPDK-GEM5 Fork of agsiddharth/CAL-DPDK-GEM5

Modifications to GEM5 for running kernel bypass networking. (DPDK)

Language: C - Size: 65.1 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

PLSysSec/sys

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

Language: LLVM - Size: 4.55 MB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 215 - Forks: 43

PLSysSec/wasmtime-colorguard Fork of bytecodealliance/wasmtime

A fast and secure runtime for WebAssembly

Language: Rust - Size: 69.1 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

PLSysSec/WasmCert-Coq Fork of WasmCert/WasmCert-Coq

A mechanisation of Wasm in Coq

Language: Coq - Size: 3.61 MB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/cachet-firefox

🦊 Trustworthy CacheIR in Firefox

Size: 2.49 GB - Last synced: 4 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

PLSysSec/lio

Labeled IO Library

Language: Haskell - Size: 2.32 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 55 - Forks: 22

PLSysSec/rlbox_mpk_sandbox

Language: C++ - Size: 74.2 KB - Last synced: 6 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

PLSysSec/rlbox-book

Language: C++ - Size: 168 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 3

PLSysSec/wave

Verified Wasm runtime

Language: Rust - Size: 1.42 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 9 - Forks: 2

PLSysSec/swivel

Language: HTML - Size: 19.2 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 12 - Forks: 2

PLSysSec/weggli Fork of weggli-rs/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: Rust - Size: 2.16 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

PLSysSec/node.bcrypt.js 📦

Language: C++ - Size: 830 KB - Last synced: about 2 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

PLSysSec/cse127-website

Language: HTML - Size: 297 MB - Last synced: 9 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 2

PLSysSec/hyper Fork of hyperium/hyper

An HTTP library for Rust

Language: Rust - Size: 6.23 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

PLSysSec/mswasm-polybench

Makefile for compiling PolyBench to MSWasm

Language: WebAssembly - Size: 2.28 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/wasix

Language: Python - Size: 3.73 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

PLSysSec/rustls-ffi Fork of rustls/rustls-ffi

Use rustls from languages other than Rust

Language: Rust - Size: 580 KB - Last synced: 9 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

PLSysSec/wasm2c_sandbox_compiler 📦

The WebAssembly Binary Toolkit

Language: C++ - Size: 21.3 MB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 4

PLSysSec/wasm2native Fork of vshymanskyy/wasm2native

Turn WASI apps into native executables

Language: C - Size: 5.66 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

PLSysSec/walkspec-hfi

Language: Python - Size: 309 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/qemu-hfi Fork of qemu/qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Size: 364 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

PLSysSec/hfi-sightglass Fork of bytecodealliance/sightglass

A benchmark suite and tool to compare different implementations of the same primitives.

Language: C - Size: 23.5 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/vera

Language: JavaScript - Size: 11.9 MB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 10 - Forks: 3

PLSysSec/spectre-mob-poc

forked from https://github.com/crozone/SpectrePoC.git

Language: C - Size: 87.9 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

PLSysSec/ptmalloc Fork of hustfisher/ptmalloc

Language: C - Size: 237 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

PLSysSec/fuzzilli Fork of googleprojectzero/fuzzilli

A JavaScript Engine Fuzzer

Language: Swift - Size: 2.3 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

PLSysSec/lockdown-node-example

Language: JavaScript - Size: 40 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

PLSysSec/lockdown-node

Clone of node with code integrity (lockdown)

Language: JavaScript - Size: 317 MB - Last synced: 10 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

PLSysSec/scooter

Language: Rust - Size: 979 KB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0

PLSysSec/program_fragmenter

Language: Python - Size: 3.91 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

PLSysSec/encoding_c Fork of hsivonen/encoding_c

C bindings for encoding_rs

Language: C++ - Size: 1.29 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

PLSysSec/lalrpop Fork of lalrpop/lalrpop

LR(1) parser generator for Rust

Size: 6.03 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

PLSysSec/hfi-root

Language: C - Size: 8.02 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 4 - Forks: 2

PLSysSec/simple_library_example

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

Language: C++ - Size: 117 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 2 - Forks: 2

PLSysSec/hfi_misc

Language: C - Size: 15.6 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 1

PLSysSec/llvm-speculative-ct Fork of llvm/llvm-project

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.

Size: 1.65 GB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

PLSysSec/veriwasm-verification

Coq proof for Veriwasm

Language: Coq - Size: 34 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 9 - Forks: 0

PLSysSec/wasm-runtime-benchmarks

I/O-heavy benchmarks for testing wasm runtimes

Language: Python - Size: 43.9 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

PLSysSec/ms-wasm

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

Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

PLSysSec/pitchfork-angr

Language: Python - Size: 4.23 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 13 - Forks: 0

PLSysSec/veriwasm-full

VeriWasm with full jump and call analysis

Language: Rust - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

PLSysSec/ct-wasm

Constant-Time WebAssembly

Size: 50.8 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 23 - Forks: 1

PLSysSec/CTFFI

Python FFI for FaCT

Language: Python - Size: 7.81 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

PLSysSec/cheri-rwasm

Language: Rust - Size: 572 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

PLSysSec/cse227-spring22

Language: Makefile - Size: 47.8 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

PLSysSec/mswasm-wasi

MS-Wasm fork of WASI

Language: Rust - Size: 2.46 MB - Last synced: 4 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

PLSysSec/firefox-rlboxed-lib-perf

Language: HTML - Size: 1.17 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/zerocost_root

Root repo for zerocost testing

Language: HTML - Size: 40.1 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

PLSysSec/libjpeg-turbo-benchmark Fork of libjpeg-turbo/libjpeg-turbo

Main libjpeg-turbo repository

Language: C - Size: 14.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

PLSysSec/rWasm-x86 Fork of secure-foundations/rWasm

A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler

Size: 498 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/corral Fork of boogie-org/corral

solver for the reachability modulo theories problem

Language: Boogie - Size: 263 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/boogie Fork of boogie-org/boogie

Boogie

Language: Boogie - Size: 95.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/blade

Benchmarks for the Blade paper

Language: C - Size: 124 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 6 - Forks: 0

PLSysSec/hfi-nginx Fork of vahldiek/erim

Language: C - Size: 151 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/wasmtime-spectre

Language: Rust - Size: 22.8 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

PLSysSec/rlbox_wamr_sandbox

RLBox integration to leverage WASM sandboxes compiled with WAMR

Language: C++ - Size: 66.4 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

PLSysSec/rlbox_lucet_sandbox

RLbox integration to leverage WASM sandboxes compiled lucet

Language: C++ - Size: 160 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 12 - Forks: 2

PLSysSec/simd-decoding

Collection of scripts necessary for comparative analysis of sandboxed decoding with SIMD128

Language: Shell - Size: 9.43 MB - Last synced: about 2 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

PLSysSec/simdjson-tests

Testing framework for simdjson library when sandboxed to WASM with the SIMD128 instruction set

Language: C++ - Size: 11.3 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/cheri_rlbox_base Fork of veracruz-project/cheri_rlbox_base

Language: Makefile - Size: 44.9 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

PLSysSec/mswasm-wasi-sdk

WASI-enabled MSWasm C/C++ toolchain (based off https://github.com/WebAssembly/wasi-sdk)

Language: C - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/mswasm-wasi-libc

MS-Wasm fork of wasi-libc

Language: C - Size: 2.1 MB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PLSysSec/hostcall_instrumented_wasmtime

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

Language: Rust - Size: 36.6 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

PLSysSec/haybale-pitchfork

Verifying constant-time code with symbolic execution

Language: Rust - Size: 1.51 MB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 40 - Forks: 0

PLSysSec/rustc-cet

Language: Rust - Size: 498 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

PLSysSec/nacl_sandbox_compiler

Language: C - Size: 166 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

PLSysSec/wasm-lucet-spec06

Language: Shell - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 1

PLSysSec/ct-wasm-ports

Language: WebAssembly - Size: 509 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 5 - Forks: 2

PLSysSec/sharp-sandboxed Fork of lovell/sharp

High performance Node.js image processing, the fastest module to resize JPEG, PNG, WebP, AVIF and TIFF images. Uses the libvips library.

Language: JavaScript - Size: 45.1 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

PLSysSec/libvips-sandboxed Fork of libvips/libvips

A fast image processing library with low memory needs.

Size: 78.8 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

PLSysSec/swivel-btb-exploit

Language: WebAssembly - Size: 48.8 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 1

PLSysSec/safeside Fork of google/safeside

Understand and mitigate software-observable side-channels

Language: CMake - Size: 400 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

PLSysSec/sfispectre_webserver

Language: C++ - Size: 82.8 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

PLSysSec/sfi-spectre-testing

Language: Python - Size: 178 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

PLSysSec/lucet-spectre

Language: Rust - Size: 7.6 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

PLSysSec/bindings

Exploits from the Finding and Preventing Bugs in JavaScript Bindings paper

Language: JavaScript - Size: 32.2 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 9 - Forks: 1

PLSysSec/WASI Fork of WebAssembly/WASI

WebAssembly System Interface

Language: Rust - Size: 2.5 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

PLSysSec/deterministic-memsafety

LLVM fork for DMS

Size: 1.4 GB - Last synced: 4 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

PLSysSec/cse291-winter22

Language: Makefile - Size: 1.82 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

PLSysSec/wasi-lmbench Fork of intel/lmbench

Language: C - Size: 525 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

PLSysSec/socat Fork of 3ndG4me/socat

Mirror of the socat source code with pre-built releases for Linux (x64 and x86), Windows (x64 and x86), and MacOS (x64)

Language: C - Size: 725 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

PLSysSec/mswasm-graal Fork of oracle/graal

GraalVM: Run Programs Faster Anywhere :rocket:

Language: Java - Size: 1.16 GB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

PLSysSec/prusti-dev Fork of viperproject/prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language: Rust - Size: 44.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

PLSysSec/veriwasm_fuzzing

Fuzzing scripts for VeriWasm

Language: Python - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

PLSysSec/rlbox_nacl_sandbox

RLBox integration to leverage Native Client (NaCl) sandboxes

Language: C++ - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0