research
∙
09/23/2020
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis
We present a method of automatically synthesizing steps to solve search ...
share
research
∙
07/26/2019
Attack Synthesis for Strings using Meta-Heuristics
Information leaks are a significant problem in modern computer systems a...
research
∙
05/14/2019
