William Eiers

According to our database, William Eiers authored at least 10 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Quantitative Access Control Policy Analysis and Repair Using Model Counting

William Eiers

PhD thesis, 2023

Quantitative Policy Repair for Access Control on the Cloud.

William Eiers, Ganesh Sankaran, Tevfik Bultan

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Quacky: Quantitative Access Control Permissiveness Analyzer✱.

William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Quantifying Permissiveness of Access Control Policies.

William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

The Java Pathfinder Workshop 2019.

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

ACM SIGSOFT Softw. Eng. Notes, 2020

2019

Incremental Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2019

Incremental Adaptive Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

CoRR, 2019

Subformula Caching for Model Counting and Quantitative Program Analysis.

William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Attack Synthesis for Strings using Meta-Heuristics.

Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2018

Parameterized model counting for string and numeric constraints.

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018