William Eiers

18 papers A* 3A 1C 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models.
CoRR
Bethel Hall, Owen Ungaro, William Eiers
2025 J jnl
Exploring Large Language Models for Access Control Policy Synthesis and Summarization.
CoRR
Adarsh Vatsa, Bethel Hall, William Eiers
2025 C conf
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification.
NeSy
Balaji Rao, William Eiers, Carlo Lipizzi
2025 J jnl
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification.
CoRR
Balaji Rao, William Eiers, Carlo Lipizzi
2025 — conf
Synthesizing Access Control Policies Using Large Language Models.
NLBSE@ICSE
Adarsh Vatsa, Pratyush Patel, William Eiers
2025 J jnl
Synthesizing Access Control Policies using Large Language Models.
CoRR
Adarsh Vatsa, Pratyush Patel, William Eiers
2024 C conf
Quantitative Symbolic Robustness Verification for Quantized Neural Networks.
ICFEM
Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan
2023 — —
Quantitative Access Control Policy Analysis and Repair Using Model Counting
William Eiers
2023 A conf
Quantitative Policy Repair for Access Control on the Cloud.
ISSTA
William Eiers, Ganesh Sankaran, Tevfik Bultan
2022 A* conf
Quacky: Quantitative Access Control Permissiveness Analyzer✱.
ASE
William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan
2022 A* conf
Quantifying Permissiveness of Access Control Policies.
ICSE
William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
2019 J jnl
Attack Synthesis for Strings using Meta-Heuristics.
CoRR
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2019 J jnl
Incremental Adaptive Attack Synthesis.
CoRR
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 J jnl
Incremental Attack Synthesis.
ACM SIGSOFT Softw. Eng. Notes
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 A* conf
Subformula Caching for Model Counting and Quantitative Program Analysis.
ASE
William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan
2018 J jnl
Attack Synthesis for Strings using Meta-Heuristics.
ACM SIGSOFT Softw. Eng. Notes
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2018 — conf
Parameterized model counting for string and numeric constraints.
ESEC/SIGSOFT FSE
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu