Preprint, version 5.3

Capability-Mediated Perimeters for Secure AI Agent Tool Execution

Conditional Non-Escalation Invariants and Empirical Evaluation Against Indirect Prompt Injection

Author
Rudraneel Das
DOI
10.5281/zenodo.22501491
License
CC BY 4.0, open access
mastyf-guard.pdfPage 1 of 15
100%
Page 1 of the paper
Page 2 of the paper
Page 3 of the paper
Page 4 of the paper
Page 5 of the paper
Page 6 of the paper
Page 7 of the paper
Page 8 of the paper
Page 9 of the paper
Page 10 of the paper
Page 11 of the paper
Page 12 of the paper
Page 13 of the paper
Page 14 of the paper
Page 15 of the paper

Theorems, proofs and results, explained in the docs