ForSE 2017 - FORmal methods for Security Engineering - ForSE 2017

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. However, the communities of formal methods and security were not closely collaborating together in the past on solving such important research problems. The aim of the ForSE workshop is to encourage the integration between these two communities towards development of secure and malware resistant systems, thus bridging the existing gap.
Topics of interest cover, but are not limited to, application of formal methods techniques relating to:
? New principles for qualitative and quantitative security analysis
? Software tools and methodologies to the development and the analysis of secure systems
? Securing private data on mobile devices
? Mobile security
? Security of critical infrastructures
? Security and privacy in Internet of Things (IoT)
? Design and verification of malware detection systems
? Fraud detection
? Security for Complex System
? Security in Smart Grid
? Security in Social Networks
? Intrusion detection
? Cloud security
? Forensics
? Big Data security
? Network security
? Identification and analysis of Malware
? Security Verification and Validation
? Machine Learning for Malware Analysis