Search papers, labs, and topics across Lattice.
This paper introduces Geometric Information Flow (GIF), a novel framework for tracking information flow in large language models (LLMs) that addresses the limitations of existing Information Flow Control (IFC) methods. By leveraging the LLM Jacobian and local output geometry, GIF provides a scalable measure of information flow that maintains local geometric soundness, significantly reducing the issue of taint explosion. Evaluations demonstrate that GIF achieves near-perfect recall on integrity and confidentiality tasks, outperforming traditional attention-based methods while drastically reducing computational costs.
GIF achieves near-perfect recall in information flow tracking for LLMs while using up to 81x fewer tokens than direct LLM-as-judge approaches.
Large language models increasingly mediate interactions between sensitive data, untrusted inputs, and privileged actions in agentic systems, creating security and privacy risks. These range from prompt injections that manipulate downstream tool use to leakage of confidential information through model outputs. Recent Information Flow Control (IFC)-based defenses show promise but lack a principled semantic foundation for reasoning about information flow through the model itself. Since any input token may influence any output token in an autoregressive LLM, existing approaches suffer from severe taint explosion. We present Geometric Information Flow (GIF), a semantic framework for tracking information flow from input tokens to outputs. GIF uses the LLM Jacobian and local output geometry to upper-bound the Shannon mutual information between perturbed input spans and model outputs, yielding a scalable measure computable on large models via automatic differentiation and low-rank approximation. Unlike attention-based or correlational attribution heuristics, GIF satisfies local geometric soundness, and we provide a fully mechanized Lean 4 proof that it upper-bounds the true information flow induced by a given prompt under local regularity assumptions. We evaluate GIF on integrity and confidentiality tasks across multiple prompt-injection and privacy-leakage benchmarks. GIF achieves near-perfect recall even without a downstream declassifier, outperforming attention-based baselines. Combined with lightweight LLM-based declassifiers, it matches or exceeds the F1 of direct LLM-as-judge baselines such as GPT-5.5 xhigh reasoning while using up to 81x lower token cost. GIF flows detected with small surrogate models transfer to larger state-of-the-art models and other model families, even when the surrogate is up to 200x smaller, suggesting black-box deployment without gradient access.
