Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. In 24th Annual Network and Distributed System Security Symposium, NDSS 2017, San Diego, California, USA, February 26 - March 1, 2017. The Internet Society, 2017. [doi]

This author has not been identified. Look up 'Yu Feng' in GoogleThis author has not been identified. Look up 'Osbert Bastani' in GoogleThis author has not been identified. Look up 'Ruben Martins' in GoogleThis author has not been identified. Look up 'Isil Dillig' in GoogleThis author has not been identified. Look up 'Saswat Anand' in Google

runs on WebDSL