2 papers
cs.CR2026
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…
cs.PL2025
BeePL: Correct-by-compilation kernel extensions
Swarn Priya, Frédéric Besson, Connor Sughrue +4
eBPF is a technology that allows developers to safely extend kernel functionality without modifying kernel source code or developing loadable kernel modules. Since the kernel gover…