1. Optimizing symbolic execution for malware behavior classification. Issue 93 (June 2020) Authors: Sebastio, Stefano; Baranov, Eduard; Biondi, Fabrizio; Decourbe, Olivier; Given-Wilson, Thomas; Legay, Axel; Puodzius, Cassius; Quilbeuf, Jean Journal: Computers & security Issue: Issue 93(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗