This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
-
Updated
Sep 11, 2026 - Python
#
compartmentalization
Here are 14 public repositories matching this topic...
This GitHub repository explores the topics of privacy, anonymity and compartmentalization. These concepts are interrelated and essential for protecting one’s identity, data and online activities from unwanted surveillance, tracking and interference.
windows security privacy sandbox container tor anonymity censorship separation severance compartmentalization
-
Updated
May 19, 2026 - PowerShell
ConfFuzz - Fuzzing for Interface Vulnerabilities
sandboxing fuzzing intel-pin compartmentalization safeboxing compartment-interface-vulnerabilities ndss-2023
-
Updated
May 1, 2023 - C++
FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
library kernel os osdev operating-system unikernel unikraft specialized-oses ultra-light-virtualization compartmentalization
-
Updated
Jun 2, 2023 - C
Welcome to the Lind sandbox monorepo! See our docs below:
-
Updated
Sep 14, 2026 - C
µBPF - a framework for microcontroller compartmentalization using eBPF
middleware microcontrollers virtual-machine embedded-systems internet-of-things ebpf fault-isolation compartmentalization
-
Updated
Dec 1, 2024 - Rust
Coq formalization for "When Good Components Go Bad" paper, with various later extensions
coq undefined-behavior compartmentalization secure-compilation tagged-architectures software-fault-isolation
-
Updated
Aug 11, 2025 - Coq
Bubbles - lightweight Linux working environments
linux debian isolation adwaita rootless crosvm gtk4 distrobuilder rust-gtk compartmentalization passt atomic-desktops
-
Updated
Sep 14, 2026 - HTML
Coq formalization for "SecurePtrs" paper
-
Updated
Jun 3, 2022 - Coq
↪️🧱️↩️ A redirect to my compartmentalization repository.
markdown article gplv3 redirection redirect md txt redirect-page gpl3 seanpm2001 compartmentalization redirect-repo redirection-repo seanpm2001-redirect seanpm2001-redirection redirection-page seanpm2001-compartmentalization
-
Updated
Feb 19, 2023 - Markdown
🧱️ℹ️🔘️ A general information repository about compartmentalizing my projects.
markdown documentation sorting docs article gplv3 md txt gpl3 prioritization seanpm2001 compartmentalization seanpm2001-docs seanpm2001-documentation seanpm2001-compartmentalization
-
Updated
Feb 19, 2023 - Markdown
A Windows PowerShell privacy toolkit that separates anonymity from not-getting-banned using four isolated browsing lanes — leak checks, browser/OS hardening, encrypted DNS, and fresh per-launch identities.
windows privacy powershell torch browser-fingerprinting threat-modeling dns-leak echarts opsec dns-over-https wireguard anti-fingerprinting privacy-tools browser-hardening mullvad brave-browser webrtc-leak compartmentalization
-
Updated
Aug 21, 2026 - PowerShell
Tools to work with isolated environments for in-memory pipelines in R.
-
Updated
Sep 2, 2026 - R
A hardened, compartmentalized Linux distribution built from source. Pre-alpha.
-
Updated
Sep 14, 2026 - Shell
Add this topic to your repo
To associate your repository with the compartmentalization topic, visit your repo's landing page and select "manage topics."