Agenra: A Language and Verified Core for Stateful LLM Agent Authorization

Basavesh Ammanaghatta Shivakumar, Swarn Priya, Peng Gao

Applications that deploy LLM agents keep revising the permissions their agents use. When authority is consumable, even widening a permission can break a legitimate workflow, becaus…