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

4 items

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)