Skip to content
#

process-isolation

Here are 69 public repositories matching this topic...

Implementation of a secure, low-level application designed on CertiKOS formally verified operating system kernel. Simulation of an autonomous satellite critical susystems - environmental monitoring, task scheduling and watchdog diagnostics - within a trusted computing environment. Developed as part of my diploma thesis at the University of Patras.

  • Updated Jun 23, 2025
  • C

🛡️ Windows filesystem sandbox for AI agents — intercepts ntdll syscalls and redirects writes into a copy-on-write overlay. Agents run git/node/python freely while the real disk stays untouched. Child-process injection, whiteout deletes, glob policy, nested-sandbox blocking.

  • Updated Sep 28, 2026
  • Rust

Add this topic to your repo

To associate your repository with the process-isolation topic, visit your repo's landing page and select "manage topics."

Learn more