ConfFuzz - Fuzzing for Interface Vulnerabilities
-
Updated
May 1, 2023 - C++
ConfFuzz - Fuzzing for Interface Vulnerabilities
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.
FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
Coq formalization for "When Good Components Go Bad" paper
Coq formalization for "SecurePtrs" paper
↪️🧱️↩️ A redirect to my compartmentalization repository.
🧱️ℹ️🔘️ A general information repository about compartmentalizing my projects.
Tools to work with isolated environments for in-memory pipelines in R.
Add a description, image, and links to the compartmentalization topic page so that developers can more easily learn about it.
To associate your repository with the compartmentalization topic, visit your repo's landing page and select "manage topics."