Author

V. Liventsev

h-index 5 View on Semantic Scholar

We have 2 of 16 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

2026

Agentic Permissions Policy Algebra for Taint Confinement in LLM Agents

APPA ( Agentic Permissions Policy Algebra), an IFC framework that resolves this usability bottleneck through engine-managed context branching and prospective acquisition enforcement, is presented and formally proves parent label preservation and merge confinement.

Arseny Kravchenko, V. Liventsev, I. Konstantinov et al. · arXiv.org · 0 citations

Preprint Jul 2026

APPA: Recoverable Information-Flow Control for Real-World LLM Agents

APPA (Agentic Permissions Policy Algebra), which turns agent IFC from an abort-only barrier into a policy-governed recovery system, and proves core safety invariants: no-laundering gradual resolution, branch boundary isolation, and recovery containment against prompt-injected models.

Arseny Kravchenko, V. Liventsev, I. Konstantinov et al. · 1 citation