Skip to content
@mvar-security

mvar-security

MVAR Security

Deterministic security infrastructure for AI agents.

We build formal enforcement systems grounded in 40 years of Information Flow Control research.

Projects

Execution boundary for AI agents. Blocks prompt injection from reaching tool execution.

  • ~1ms per decision (measured benchmark on release hardware)
  • Deterministic enforcement (same input = same decision)
  • 5 framework adapters (OpenClaw, LangChain, CrewAI, AutoGen, generic)
  • 50-vector attack pack across 9 categories
  • Cryptographic witness chain for every decision
  • Apache 2.0

Information Flow Control engine for LLM agent runtimes. Dual-lattice IFC with cryptographic provenance.

Research & IP

  • Provisional patent filed February 24, 2026 (24 claims)
  • Submitted to NIST RFI Docket NIST-2025-0035
  • Preprint published on SSRN (February 2026)
  • Built on: Denning lattice, Jif, FlowCaml, FIDES

Contact

Popular repositories Loading

  1. mvar mvar Public

    MVAR: Information Flow Control for LLM Agent Runtimes — Deterministic prompt injection defense via dual-lattice IFC with cryptographic provenance. Built on 40 years of IFC research (FIDES, Jif, Flo…

    Python 5 1

  2. clawzero clawzero Public

    Deterministic execution boundary for AI agents. IFC enforcement at the sink. 5 frameworks. 50 attack vectors. Apache 2.0.

    Python 3

  3. .github .github Public

    Organization profile repository for MVAR Security

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…