dipbioter@unimol.it

dipbioterr@pec.unimol.it

+39 0874 40 4100

+39 0874 404188

Pubblicazioni

Pubblicazioni Selezionate

  • Battista, F. Mercaldo, V. Nardone, A. Santone, C.A. Visaggio. Identification of Android Malware Families with Model Checking. Proceedings of the 2nd International Conference on Information Systems Security and Privacy (ICISSP 2016), Rome, Italy, February 19-21, 2016.

 

  • F. Mercaldo, V. Nardone, A. Santone, C.A. Visaggio. Download Malware? No, thanks. How Formal Methods can Block Update Attacks  Proceedings of the 4th Workshop on Formal Methods in Software Engineering (FormaliSE 2016), co-located with ICSE 2016, Austin Texas, USA, May 15, 2016, IEEE/ACM, pp. 22-28.
  • F. Mercaldo, V. Nardone, A. Santone, C.A. Visaggio. Ransomware Steals your Phone. Formal Methods Rescue it.  Proceedings of the Formal Techniques for Distributed Objects, Components, and System – 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 10th International Federated Conference on Distribute Computing Techniques, DisCoTec 2016 Heraklion, Crete, June 6-9, 2016.
  • Mercaldo, V. Nardone, A. Santone, C.A. Visaggio. Hey Malware, I can Find You! In Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016 25th IEEE International Conference on – Paris, June 13-15, 2016, IEEE Computer Society.

 

  • F. Mercaldo, V. Nardone, A. Santone. Ransomware Inside Out. Proceedings of 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.
  • F. Martinelli, F. Mercaldo, V. Nardone, A. Santone, C.A. Visaggio. Identifying Mobile Repackaged Applications through Formal Methods.  Proceedings of International Workshop on FORmal methods for Security Engineering – ForSE 2017 (in conjunction with the 3rd International Conference on Information Systems Security and Privacy (ICISSP 2017), Porto, Portugal, February, 19-21, 2017, pp. 673-682.

 

  • A. Cimitile, F. Martinelli, F. Mercaldo, V. Nardone, A. Santone, G. Vaglini. Model Checking for Mobile Android Malware Evolution. Proceedings of the 5th Workshop on Formal Methods in Software Engineering (FormaliSE 2017), co-located with ICSE 2017, Buenos Aires, Argentina, May 27, 2017, IEEE/ACM, pp. 24-30.
  • F. Martinelli, F. Mercaldo, V. Nardone, A. Santone. How Discover a Malware using Model Checking. Proceedings of ACM Asia Conference on Computer and Communications Security (ASIACCS 2017), Abu Dhabi, UAE, April, 2-6, 2017, ACM, pp. 902-904.
  • F.  Martinelli, F. Mercaldo, V. Nardone, A. Santone. Twinkle Twinkle Little DroidDream, How I Wonder What You Are? Proceedings of 4th IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2017 – Padua, Italy, June 21-23, 2017, IEEE Computer Society.
  • Cimitile, F. Martinelli, F. Mercaldo, V. Nardone, A. Santone. Formal Methods Meet Mobile Code Obfuscation. In Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2017) 26th IEEE International Conference on – Poznan, Poland, June 21-23, 2017, IEEE Computer Society, pp. 263-268.

 

 

  • Martinelli, F. Mercaldo, V. Nardone and A. Santone. Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour. Proceedings of the 2nd International Workshop on Malware Analysis (in conjunction with the 12th International Conference on Availability, Reliability and Security ARES 2017), Reggio Calabria, Italia, August 29 – September 1, 2017, pp. 1-6.

 

 

  • Bernardeschi, P. Masci, A. Santone. Data Leakage in Java applets with Exception mechanism. Proceedings of the Second Italian Conference on Cybersecurity (ITASEC18), Milan, Italy, February 6-9, 2018. CEUR Workshop Proceedings.
  • Cimitile, F. Mercaldo, V. Nardone, A. Santone, C. A. Visaggio. “Talos: No more Ransomware Victims with Formal Methods” International Journal of Information Security, 2018.