William Eiers (weiers)

William Eiers

Assistant Professor

Charles V. Schaefer, Jr. School of Engineering and 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

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

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

Courses

CS385