Foto 7

MODIFICA AULA - Antonella Santone - University of Molise - "Formal methods for cyber security and malware detection", 18-21 June 2018

16 hours (4 credits)

Aula Riunioni del Dipartimento di Ingegneria dell’Informazione

Short Abstract:
The huge diffusion of computational capabilities in embedded systems, cars, smart houses, smartphones, critical infrastructures, e-health, and the penetration of computers and software in enterprises of every dimension have led to an enormous number of victims of cyber attacks. Formal methods are techniques used to mathematically model systems in order to verify properties in a thorough fashion. Thus, formal methods offer the potential to develop secure systems. These lectures aim to introduce some formal verification techniques that have gained great interest in the recent years and to explain how they can be used for the cyber security and malware detection.

Course Contents in brief:

  • Specification language for concurrent systems
  • Temporal logic to express properties
  • Automated formal verification tools
  • Code obfuscation and Security
  • Android Malware detection
  • Formal tools for identifying mobile malicious behaviour


  • 18 June 2018: 9:00 – 13:00, Largo Lucio Lazzarino 1, Pisa – Piano 6
  • 19 June 2018: 14:00 – 18:00, Via G. Caruso 16, Pisa – Ground Floor
  • 20 June 2018: 9:00 – 13:00, Via G. Caruso 16, Pisa – Ground Floor
  • 21 June 2018: 9:00 – 13:00, Via G. Caruso 16, Pisa – Ground Floor