compartmentalization

There are 1 repository under compartmentalization topic.

• conffuzz / conffuzz

  ConfFuzz - Fuzzing for Interface Vulnerabilities

  compartment-interface-vulnerabilitiescompartmentalizationfuzzingintel-pinsafeboxingsandboxingndss-2023
  Language:C++ 41

• 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.

  anonymitycensorshipcompartmentalizationcontainerprivacysandboxsecurityseparationseverancetorwindows
  Language:PowerShell 23

• project-flexos / unikraft

  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.

  libraryosdevoperating-systemkernelunikernelunikraftspecialized-osesultra-light-virtualizationoscompartmentalization
  Language:C 19

• secure-compilation / when-good-components-go-bad

  Coq formalization for "When Good Components Go Bad" paper

  coqsecure-compilationcompartmentalizationundefined-behaviortagged-architecturessoftware-fault-isolation
  Language:Coq 7
• Compartmentalization

  seanpm2001 / Compartmentalization

  ↪️🧱️↩️ A redirect to my compartmentalization repository.

  articlecompartmentalizationgpl3gplv3markdownmdredirectredirect-pageredirect-reporedirectionredirection-pageredirection-reposeanpm2001seanpm2001-redirectseanpm2001-redirectiontxtseanpm2001-compartmentalization
  Language:Markdown 3

• secure-compilation / SecurePtrs

  Coq formalization for "SecurePtrs" paper

  capabilitiescompartmentalizationcoqsecure-compilation
  Language:Coq 3
• Seanpm2001-Compartmentalization

  seanpm2001 / Seanpm2001-Compartmentalization

  🧱️ℹ️🔘️ A general information repository about compartmentalizing my projects.

  articlecompartmentalizationdocsdocumentationgpl3gplv3markdownmdprioritizationseanpm2001seanpm2001-compartmentalizationseanpm2001-docsseanpm2001-documentationsortingtxt
  Language:Markdown 2

• vertesy / isoENV

  Tools to work with isolated environments for in-memory pipelines in R.

  compartmentalizationenvironmentpipelinesr
  Language:R