"au:"William Eiers"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"William Eiers"" — arXiv2 Search

Showing 1–6 of 6 results

/ Date/ Name

Apr 23, 2025Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification Dec 9, 2025CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models May 14, 2019Incremental Adaptive Attack Synthesis Jul 26, 2019Attack Synthesis for Strings using Meta-Heuristics Mar 14, 2025Synthesizing Access Control Policies using Large Language Models Oct 23, 2025Exploring Large Language Models for Access Control Policy Synthesis and Summarization