W
William Eiers
Researcher at University of California, Santa Barbara
Publications - 10
Citations - 62
William Eiers is an academic researcher from University of California, Santa Barbara. The author has contributed to research in topics: Symbolic execution & Computer science. The author has an hindex of 4, co-authored 7 publications receiving 42 citations.
Papers
More filters
Proceedings ArticleDOI
Parameterized model counting for string and numeric constraints
Abdulbaki Aydin,William Eiers,Lucas Bang,Tegan Brennan,Miroslav Gavrilov,Tevfik Bultan,Fang Yu +6 more
TL;DR: This work presents a parameterized model counting constraint solver for string and numeric constraints that can handle mixed constraints with string and integer variables that no other tool can and experimentally demonstrates the effectiveness.
Proceedings ArticleDOI
Subformula caching for model counting and quantitative program analysis
TL;DR: This paper presents a subformula caching framework and integrates it into a model counting constraint solver and demonstrates that the approach significantly improves the performance of quantitative program analysis.
Journal ArticleDOI
Incremental Attack Synthesis
TL;DR: This paper presents an incremental approach to attack synthesis that reuses model counting results from prior iterations in each attack step to improve efficiency and drastically improves performance, reducing the attack synthesis time by an order of magnitude.
Journal ArticleDOI
Attack Synthesis for Strings using Meta-Heuristics
TL;DR: This work uses symbolic execution to extract path constraints, automata-based model counting to estimate the probability of execution paths, and meta-heuristic methods to maximize information gain based on entropy for synthesizing adaptive attack steps.
Posted Content
Attack Synthesis for Strings using Meta-Heuristics
TL;DR: In this paper, the authors present techniques for automated synthesis of side-channel attacks that recover secret string values based on timing observations on string manipulating code, which can reveal partial information about the secret based on the timing observations.