1 citations · 2 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
Think-on-Process: Dynamic Process Generation for Collaborative Development of Multi-Agent System
Leilei Lin, Yingming Zhou, Wenlong Chen +1
Software development is a collaborative endeavor that requires individuals from different departments to work together in order to collectively develop a high-quality software syst…