Showing cs.CRShow all
2 papers · 1 filter
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.CR2023
Robust Constant-Time Cryptography
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi +4
The constant-time property is considered the security standard for cryptographic code. Code following the constant-time discipline is free from secret-dependent branches and memory…