Scholar

William Eiers

Google Scholar ID: shZGzBwAAAAJ

Assistant Professor of Computer Science

Automated verificationsoftware engineeringcybersecurity

Google Scholar↗

Citations & Impact

All-time

Citations

101

H-index

6

i10-index

3

Publications

17

Co-authors

0

Contact

No contact links provided.

Publications

6 items

AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis

2026

Cited

0

Neurosymbolic Auditing of Natural-Language Software Requirements

2026

Cited

0

CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models

2025

Cited

0

Exploring Large Language Models for Access Control Policy Synthesis and Summarization

2025

Cited

0

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification

2025

Cited

0

Synthesizing Access Control Policies using Large Language Models

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)