Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan. Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. In 31st IEEE Symposium on Security and Privacy, S&P 2010, 16-19 May 2010, Berleley/Oakland, California, USA. pages 45-60, IEEE Computer Society, 2010. [doi]
Abstract is missing.