Towards Logical Specification and Checking of Evasive Malware.

Andrei Mogage, Dorel Lucanu

Browse the full IFM paper archive.