
vmsan
Firecracker made simple. Spin up secure microVMs in milliseconds, from install to interactive shell in one command.

Firecracker made simple. Spin up secure microVMs in milliseconds, from install to interactive shell in one command.

Secure, Unified, Powerful and Extensible Rust Android Analyzer

Detect compiler-invented memory loads that turn secure C into TOCTOU vulnerabilities. Includes automated source audits, Unicorn-based binary…

Secure runtime to sandbox AI agent tasks. Run untrusted code in isolated WebAssembly environments.

Secure and fast microVMs for serverless computing.

Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing

SafeForge is an open-source mobile app hub built on GitLab that enables developers to build, upload, and share applications in a secure, AI-verified…

Patched libvpx codebase addressing CVE-2023-5217 with sanitizer support and cross-platform build configurations for secure VP8/VP9 encoding.

Burp Suite extension to generate Intruder payloads using Radamsa

An effort to build a single place for all useful android and iOS security related stuff. All references and tools belong to their respective owners.…

A secure* runtime for autonomous AI agents. Policy from plain-English constitutions. (*https://ironcurtain.dev)

Secure code execution

Secure multithreaded packet sniffer

Ultrafast CLI on Apple Silicon macOS for fast, sandboxed development and LLM agents.

A lightweight, multi-layer Linux sandbox combining namespaces, pivot_root, seccomp-bpf, capability dropping, and an evidence-based verdict engine…

Lightweight, secure Linux sandboxes for untrusted processes. Runs in the browser and on the server.

AegisGraph: graph-based application-layer assessment evidence platform for Secure Messaging Applications (SMAs). DARPA ASEMA HR0011SB20254-12 Tier 3…

Proper sandboxing for agentic coding and web browsing