
codejail
Secure code execution

Secure code execution

Secure and fast microVMs for serverless computing.

Proper sandboxing for agentic coding and web browsing

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

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

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

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…

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…

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

Secure multithreaded packet sniffer

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

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

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

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

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

Secure, Unified, Powerful and Extensible Rust Android Analyzer

Burp Suite extension to generate Intruder payloads using Radamsa