How Discover a Malware using Model Checking.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Browse the full CCS paper archive.