2 citations · 4 across the 8 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.SE2025★ 1 cited
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…
cs.AI2025★ 1 cited
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
Balaji Rao, William Eiers, Carlo Lipizzi
Formally verifying properties of software code has been a highly desirable task, especially with the emergence of LLM-generated code. In the same vein, they provide an interesting…
cs.SE2025
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…