2 citations · 2 across the 2 of their papers we have counts for
3 papers
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis
Mara Downing, Abtin Molavi, Lucas Bang
We present a method of automatically synthesizing steps to solve search problems. Given a specification of a search problem, our approach uses symbolic execution to analyze the spe…
Attack Synthesis for Strings using Meta-Heuristics
Seemanta Saha, Ismet Burak Kadron, William Eiers +2
Information leaks are a significant problem in modern computer systems and string manipulation is prevalent in modern software. We present techniques for automated synthesis of sid…
Incremental Adaptive Attack Synthesis
Seemanta Saha, William Eiers, Ismet Burak Kadron +2
Information leakage is a significant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In this paper, we present…