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

Publications

9 items

Compression Footprints as Security Signals for Model-Poisoning Defense in Federated Learning

2026

Cited

0

RAISE: Reinforcing Access Control Policy Synthesis in LLMs via Symbolic Evaluation

2026

Cited

0

VeriFin: A Neurosymbolic Framework for Verifying LLM-Generated Financial Claims

2026

Cited

0

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