skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 11 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Vittoria Nardone  [Clear All Filters]
2017
Martinelli, F., F. Mercaldo, V. Nardone, A. Santone, and C. Aaron Visaggio, "Identifying Mobile Repackaged Applications through Formal Methods", Proceedings of the 3rd International Conference on Information Systems Security and Privacy, {ICISSP} 2017, Porto, Portugal, February 19-21, 2017., pp. 673–682, 2017.
Nardone, V., and C. Aaron Visaggio, ""Mirror, Mirror on the Wall, Who is the Fairest One of All?" - Machine Learning versus Model Checking: A Comparison between Two Static Techniques for Malware Family Identification", Proceedings of the 3rd International Conference on Information Systems Security and Privacy, {ICISSP} 2017, Porto, Portugal, February 19-21, 2017., pp. 663–672, 2017.
2016
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Download Malware? No, thanks. How Formal Methods can Block Update Attacks", 4th {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering, FormaliSE 2016, Austin Texas, USA, May 15, 2016.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Download malware? no, thanks: how formal methods can block update attacks", Proceedings of the 4th {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 22–28, 2016.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Hey Malware, I can Find You!", 25th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2016, Paris, June 13-15, 2016.
Battista, P., F. Mercaldo, V. Nardone, A. Santone, and C. Aaron Visaggio, "Identification of Android Malware Families with Model Checking", 2nd International Conference on Information Systems Security and Privacy (ICISSP 2016), Rome, Italy, February 19-21, 2016.
Raucci, D., V. Nardone, and A. Santone, "Model Checking to support Action Controls in the Purchasing Process", 25th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2016, Paris, June 13-15, 2016.
Nardone, V., A. Santone, M. Tipaldi, and L.. Glielmo, "Probabilistic Model Checking applied to Spacecraft Reconfiguration", 3rd IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2016, Florence, Italy, June 22-23: IEEE Computer Society, 2016.
Mercaldo, F., V. Nardone, and A. Santone, "Ransomware Inside Out", International Workshop on Malware Analysis (in conjunction with the 11th International Conference on Availability, Reliability and Security ARES 2016), Salzburg, Austria, August 31 - September 2, 2016.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Ransomware Steals your Phone. Formal Methods Rescue it.", Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Heraklion, Crete, June 6-9, 2016, Proceedings: Springer, 2016.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Ransomware Steals Your Phone. Formal Methods Rescue It", Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Cr, pp. 212–221, 2016.