This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
-
Updated
Jul 3, 2026 - Python
#
compartmentalization
Here are 12 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
µ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
Jul 3, 2026 - Rust
↪️🧱️↩️ 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
Coq formalization for "SecurePtrs" paper
-
Updated
Jun 3, 2022 - Coq
🧱️ℹ️🔘️ 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
Tools to work with isolated environments for in-memory pipelines in R.
-
Updated
Aug 12, 2025 - R
Operations manual, architecture reference & post-install build guide for a hardened, heavily compartmentalized Qubes OS environment.
linux security documentation privacy xen sysadmin hardening opsec threat-model qubes-os qubes compartmentalization operations-manual
-
Updated
Jun 23, 2026 - TeX
Improve this page
Add a description, image, and links to the compartmentalization topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the compartmentalization topic, visit your repo's landing page and select "manage topics."