Spyware Detection using Temporal Logic.

Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Browse the full ICISSP paper archive.