This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
-
Updated
Dec 13, 2024 - Python
#
compartmentalization
Here are 10 public repositories matching this topic...
ConfFuzz - Fuzzing for Interface Vulnerabilities
sandboxing fuzzing intel-pin compartmentalization safeboxing compartment-interface-vulnerabilities ndss-2023
-
Updated
May 1, 2023 - C++
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
Sep 27, 2024 - PowerShell
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
coq undefined-behavior compartmentalization secure-compilation tagged-architectures software-fault-isolation
-
Updated
Feb 9, 2024 - Coq
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
Tools to work with isolated environments for in-memory pipelines in R.
-
Updated
Dec 4, 2024 - R
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."