William Eiers

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Countermeasures

Knowledge Compilation

Set Of Benchmark Instances

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

William Eiers, Ganesh Sankaran, Tevfik Bultan
Quantitative Policy Repair for Access Control on the Cloud. ISSTA (2023)
William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan
Quacky: Quantitative Access Control Permissiveness Analyzer✱. ASE (2022)
William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan
Quantifying Permissiveness of Access Control Policies. ICSE (2022)
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
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
Incremental Adaptive Attack Synthesis. CoRR (2019)
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
Attack Synthesis for Strings using Meta-Heuristics. CoRR (2019)
William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan
Subformula Caching for Model Counting and Quantitative Program Analysis. ASE (2019)
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
Incremental Attack Synthesis. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
Parameterized model counting for string and numeric constraints. ESEC/SIGSOFT FSE (2018)
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
Attack Synthesis for Strings using Meta-Heuristics. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)