William Eiers
Assistant Professor
Charles V. Schaefer, Jr. School of Engineering and Science
Department of Computer Science
Education
- PhD (2023) University of California Santa Barbara (Computer Science)
Research
automated verification, cloud security, software engineering, formal methods
Institutional Service
- Tenure-Track Search Committee Member
Appointments
Stevens Institute of Technology, Assistant Professor, 2023 - present
Honors and Awards
UCSB Outstanding Graduate Student, 2021
UCSB College of Engineering Outstanding Teaching Assistant in Computer Science, 2019
UCSB Outstanding Teaching Assistant, 2018
UCSB College of Engineering Outstanding Teaching Assistant in Computer Science, 2019
UCSB Outstanding Teaching Assistant, 2018
Patents and Inventions
Quantifying permissiveness of access control policies using model counting techniques and automated policy downscaling.
WJ Eiers, LS Hadarean, KS Luckow, N Rungta
US Patent 11,165,783
WJ Eiers, LS Hadarean, KS Luckow, N Rungta
US Patent 11,165,783
Selected Publications
William Eiers, Ganesh Sankaran, Tevfik Bultan. “Quantitative Policy Repair for Access Control on the Cloud.” Proceedings of the 32nd International Symposium on Software Testing and Analysis (ISSTA 2023)
William Eiers, Ganesh Sankaran, Albert Li, Emily O’Mahoney, Ben Prince, Tevfik Bultan. “Quacky: Quantitative Access Control Permissiveness Analyzer.” Tool Paper. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022)
William Eiers, Ganesh Sankaran, Albert Li, Emily O’Mahoney, Ben Prince, Tevfik Bultan. “Quantifying Permissiveness of Access Control Policies.” Proceedings of the 44th International Conference on Software Engineering (ICSE 2022)
William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan. "Subformula Caching for Model Counting and Quantitative Program Analysis." Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan. "Incremental Attack Synthesis." Proceedings of JPF 2019 Java PathFinder Workshop
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu. “Parameterized Model Counting for String and Numeric Constraints.” Proceedings of the 26th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2018)
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan. “Attack Synthesis for Strings using Meta-Heuristics.” Proceedings of JPF 2018 Java PathFinder Workshop
William Eiers, Ganesh Sankaran, Albert Li, Emily O’Mahoney, Ben Prince, Tevfik Bultan. “Quacky: Quantitative Access Control Permissiveness Analyzer.” Tool Paper. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022)
William Eiers, Ganesh Sankaran, Albert Li, Emily O’Mahoney, Ben Prince, Tevfik Bultan. “Quantifying Permissiveness of Access Control Policies.” Proceedings of the 44th International Conference on Software Engineering (ICSE 2022)
William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan. "Subformula Caching for Model Counting and Quantitative Program Analysis." Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan. "Incremental Attack Synthesis." Proceedings of JPF 2019 Java PathFinder Workshop
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu. “Parameterized Model Counting for String and Numeric Constraints.” Proceedings of the 26th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2018)
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan. “Attack Synthesis for Strings using Meta-Heuristics.” Proceedings of JPF 2018 Java PathFinder Workshop
Courses
CS385