GitHub topics: compartmentalization
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.
Language: TeX - Size: 35.4 MB - Last synced at: about 1 hour ago - Pushed at: about 2 hours ago - Stars: 67 - Forks: 35
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.
Language: PowerShell - Size: 155 KB - Last synced at: 23 days ago - Pushed at: 7 months ago - Stars: 48 - Forks: 4
secure-compilation/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Language: Coq - Size: 5.16 MB - Last synced at: about 5 hours ago - Pushed at: 9 days ago - Stars: 7 - Forks: 1
vertesy/isoENV
Tools to work with isolated environments for in-memory pipelines in R.
Language: R - Size: 341 KB - Last synced at: 12 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
SzymonKubica/micro-bpf
µBPF - a framework for microcontroller compartmentalization using eBPF
Language: Rust - Size: 77 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
seanpm2001/Seanpm2001-Compartmentalization
🧱️ℹ️🔘️ A general information repository about compartmentalizing my projects.
Language: Markdown - Size: 1.65 MB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 2
project-flexos/unikraft Fork of unikraft/unikraft
FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
Language: C - Size: 3.67 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 3
conffuzz/conffuzz
ConfFuzz - Fuzzing for Interface Vulnerabilities
Language: C++ - Size: 33.8 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 37 - Forks: 4
seanpm2001/Compartmentalization
↪️🧱️↩️ A redirect to my compartmentalization repository.
Language: Markdown - Size: 1.65 MB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1
secure-compilation/SecurePtrs
Coq formalization for "SecurePtrs" paper
Language: Coq - Size: 3.97 MB - Last synced at: 17 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0