2 citations · 4 across the 8 of their papers we have counts for
11 papers
Compression Footprints as Security Signals for Model-Poisoning Defense in Federated Learning
Sachi Shome, William Eiers
Lossy compression is widely used in Federated Learning (FL) but is generally treated as an error source, while conventional poisoning defenses inspect update geometry. In this work…
RAISE: Reinforcing Access Control Policy Synthesis in LLMs via Symbolic Evaluation
Yingming Zhou, Adarsh Vatsa, William Eiers
Translating natural-language access-control requirements into policies requires careful reasoning about permissions, constraints, and exceptions, and even frontier LLMs often produ…
VeriFin: A Neurosymbolic Framework for Verifying LLM-Generated Financial Claims
Bethel Hall, Sachi Shome, William Eiers
Large language models often produce plausible numerical claims from financial filings while using the wrong reporting period, unit, line item, or formula. Verifying such claims req…
AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis
Adarsh Vatsa, Sachi Shome, Yingming Zhou +1
Large Language Models are increasingly used to turn natural-language requirements into code. In access control, that shortcut is dangerous: a generated policy can compile and read…
Neurosymbolic Auditing of Natural-Language Software Requirements
Bethel Hall, William Eiers
Natural-language software requirements are often ambiguous, inconsistent, and underspecified; in safety-critical domains, these defects propagate into formal models that verify the…
CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models
Bethel Hall, Owen Ungaro, William Eiers
Access control policies are vital for securing modern cloud computing, where organizations must manage access to sensitive data across thousands of users in distributed system sett…
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…
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…
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…
Attack Synthesis for Strings using Meta-Heuristics
Seemanta Saha, Ismet Burak Kadron, William Eiers +2
Information leaks are a significant problem in modern computer systems and string manipulation is prevalent in modern software. We present techniques for automated synthesis of sid…
Incremental Adaptive Attack Synthesis
Seemanta Saha, William Eiers, Ismet Burak Kadron +2
Information leakage is a significant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In this paper, we present…