publications

2023

  1. Quantitative Policy Repair for Access Control on the Cloud
    William Eiers, Ganesh Sankaran, and Tevfik Bultan
    In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, 2023

2022

  1. Quantifying Permissiveness of Access Control Policies
    William Eiers, Ganesh Sankaran, Albert Li, and 3 more authors
    In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022
  2. Quacky: Quantitative Access Control Permissiveness Analyzer
    William Eiers, Ganesh Sankaran, Albert Li, and 3 more authors
    In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022

2020

  1. The Java Pathfinder Workshop 2019
    Cyrille Artho, Quoc-Sang Phan, Peter Aldous, and 35 more authors
    ACM SIGSOFT Softw. Eng. Notes, 2020

2019

  1. Incremental Attack Synthesis
    Seemanta Saha, William Eiers, Ismet Burak Kadron, and 2 more authors
    ACM SIGSOFT Softw. Eng. Notes, 2019
  2. Subformula Caching for Model Counting and Quantitative Program Analysis
    William Eiers, Seemanta Saha, Tegan Brennan, and 1 more author
    In 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, 2019
  3. Incremental Adaptive Attack Synthesis
    Seemanta Saha, William Eiers, Ismet Burak Kadron, and 2 more authors
    CoRR, 2019
  4. Attack Synthesis for Strings using Meta-Heuristics
    Seemanta Saha, Ismet Burak Kadron, William Eiers, and 2 more authors
    CoRR, 2019

2018

  1. Attack Synthesis for Strings using Meta-Heuristics
    Seemanta Saha, Ismet Burak Kadron, William Eiers, and 2 more authors
    ACM SIGSOFT Softw. Eng. Notes, 2018
  2. Parameterized model counting for string and numeric constraints
    Abdulbaki Aydin, William Eiers, Lucas Bang, and 4 more authors
    In Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, 2018