1 citations · 1 across the 3 of their papers we have counts for
4 papers
RAISE: Reinforcing Access Control Policy Synthesis in LLMs via Symbolic Evaluation
Yingming Zhou, Adarsh Vatsa, William Eiers
Translating natural-language access-control requirements into policies requires careful reasoning about permissions, constraints, and exceptions, and even frontier LLMs often produ…
AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis
Adarsh Vatsa, Sachi Shome, Yingming Zhou +1
Large Language Models are increasingly used to turn natural-language requirements into code. In access control, that shortcut is dangerous: a generated policy can compile and read…
Neurosymbolic Characterization for Reliable Access Control Policy Analysis
Adarsh Vatsa, Bethel Hall, William Eiers
Access control policies are reliability-critical configuration artifacts in cloud systems, yet administrators frequently struggle to verify that a policy permits exactly what they…
Synthesizing Access Control Policies using Large Language Models
Adarsh Vatsa, Pratyush Patel, William Eiers
Cloud compute systems allow administrators to write access control policies that govern access to private data. While policies are written in convenient languages, such as AWS Iden…