Projects in Awesome Lists tagged with compartmentalization
A curated list of projects in awesome lists tagged with compartmentalization .
https://github.com/riscv/riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
capabilities compartmentalization memory-safety
Last synced: 06 Apr 2025
https://github.com/hotcakex/privacy-anonymity-compartmentalization
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.
anonymity censorship compartmentalization container privacy sandbox security separation severance tor windows
Last synced: 16 Mar 2025
https://github.com/secure-compilation/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
compartmentalization coq secure-compilation software-fault-isolation tagged-architectures undefined-behavior
Last synced: 24 Apr 2025
https://github.com/secure-compilation/secureptrs
Coq formalization for "SecurePtrs" paper
capabilities compartmentalization coq secure-compilation
Last synced: 10 Feb 2025
https://github.com/szymonkubica/micro-bpf
µBPF - a framework for microcontroller compartmentalization using eBPF
compartmentalization ebpf embedded-systems fault-isolation internet-of-things microcontrollers middleware virtual-machine
Last synced: 14 Mar 2025
https://github.com/SzymonKubica/micro-bpf
µBPF - a framework for microcontroller compartmentalization using eBPF
compartmentalization ebpf embedded-systems fault-isolation internet-of-things microcontrollers middleware virtual-machine
Last synced: 11 Mar 2025