Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone. Spyware Detection using Temporal Logic. In Paolo Mori, Steven Furnell, Olivier Camp, editors, Proceedings of the 5th International Conference on Information Systems Security and Privacy, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019. pages 690-699, SciTePress, 2019. [doi]
Abstract is missing.