William Eiers

Orcid: 0009-0007-0235-2332

According to our database1, William Eiers authored at least 11 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Quantitative Symbolic Robustness Verification for Quantized Neural Networks.
Proceedings of the Formal Methods and Software Engineering, 2024

2023
Quantitative Access Control Policy Analysis and Repair Using Model Counting
PhD thesis, 2023

Quantitative Policy Repair for Access Control on the Cloud.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022
Quacky: Quantitative Access Control Permissiveness Analyzer✱.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Quantifying Permissiveness of Access Control Policies.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes, 2020

2019
Incremental Attack Synthesis.
ACM SIGSOFT Softw. Eng. Notes, 2019

Incremental Adaptive Attack Synthesis.
CoRR, 2019

Subformula Caching for Model Counting and Quantitative Program Analysis.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018
Attack Synthesis for Strings using Meta-Heuristics.
ACM SIGSOFT Softw. Eng. Notes, 2018

Parameterized model counting for string and numeric constraints.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018


  Loading...