Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the production version of rlbox, go to rlbox.dev
☆24Sep 14, 2023Updated 2 years ago
Alternatives and similar repositories for LibrarySandboxing
Users that are interested in LibrarySandboxing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Set of modifications for Deno to add subprocess sandboxing☆14May 25, 2023Updated 3 years ago
- Bringing Mandatory Access Control to Android apps☆11Dec 20, 2021Updated 4 years ago
- ☆20Mar 10, 2022Updated 4 years ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Oct 26, 2022Updated 3 years ago
- ☆11Aug 28, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆14Jun 11, 2020Updated 6 years ago
- ☆12Apr 23, 2021Updated 5 years ago
- ☆14Oct 8, 2021Updated 4 years ago
- Scone Website☆11Oct 24, 2025Updated 7 months ago
- Security-Oriented Analysis of Application Programs☆13Dec 14, 2018Updated 7 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 13 years ago
- Security Test Benchmark for Computer Architectures☆20Sep 24, 2025Updated 8 months ago
- ☆44Apr 8, 2020Updated 6 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Hardware-assisted Data-flow Isolation☆29Jan 28, 2018Updated 8 years ago
- ☆16Sep 29, 2022Updated 3 years ago
- Python scripts for gdb, reverse engineering oriented☆16Sep 20, 2016Updated 9 years ago
- PoC code for CVE-2018-9539☆20Nov 11, 2018Updated 7 years ago
- Example of WebGPU☆12Apr 3, 2017Updated 9 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- A framework for streamlining the capture of PANDA execution traces.☆58Jun 16, 2020Updated 5 years ago
- A list of data-only attacks☆21Aug 22, 2025Updated 9 months ago
- ☆73Dec 5, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Python Package for the Google Chrome Dev Protocol [asyncio base]☆23Mar 31, 2023Updated 3 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Jul 21, 2019Updated 6 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆72May 19, 2023Updated 3 years ago
- ⨝ Mandatory Access Control for SQLite databases☆15Oct 11, 2016Updated 9 years ago
- Dockerfile to install and run heartbleed tool☆32Jun 16, 2017Updated 8 years ago
- Bring libfuzzer to Unicorn☆26Jan 23, 2022Updated 4 years ago
- ☆19Dec 9, 2022Updated 3 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆30Feb 23, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Dec 1, 2021Updated 4 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated last month
- ☆26Jul 8, 2015Updated 10 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆41Aug 30, 2022Updated 3 years ago
- Predictive-Corrective Incompressible SPH paper implementation☆14May 13, 2016Updated 10 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆57May 24, 2022Updated 4 years ago