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

Pubblicazioni di ateneo

Found 11 results
Author [ Titolo(Desc)] Tipo Anno
Filters: Author is Vittoria Nardone  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
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.
H
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.
I
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.
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.
M
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.
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.
P
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.
R
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.