static-analysis 7
- Binary Similarity Detection Using Machine Learning Oct 19, 2018
- FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware Mar 24, 2018
- Refining Interprocedural Change-Impact Analysis using Equivalence Relations Jul 10, 2017
- Similarity of Binaries through re-Optimization Jun 18, 2017
- Statistical Similarity of Binaries Jun 13, 2016
- Abstract Semantic Differencing via Speculative Correlation Oct 20, 2014
- Abstract Semantic Differencing for Numerical Programs Jul 19, 2013