Home      Log In      Contacts      FAQs      INSTICC Portal
2nd International Workshop on FORmal methods for Security Engineering - ForSE 2018

22 - 24 January, 2018 - Funchal, Madeira, Portugal

In conjunction with the 4th International Conference on Information Systems Security and Privacy - ICISSP 2018


Antonella Santone
University of Molise
Francesco Mercaldo
National Research Council of Italy (CNR), Pisa
Brief Bio
Francesco Mercaldo received his master degree in computer engineering from the University of Sannio (Benevento, Italy), with a thesis in software testing. He obtained his Ph.D. in 2015 with a dissertation on malware analysis using machine learning techniques. The research areas of Francesco are software testing, verification, and validation, with the emphasis on the application of empirical methods. Currently, he is working as a post-doctoral researcher at the Istituto di Informatica e Telematica, Consiglio Nazionale Delle Ricerche (CNR) in Pisa (Italy). He is also involved as a graduate teaching assistant in Software Engineering, Database (Bachelor Degree) and Software Security (Master Degree) courses at the University of Sannio in Benevento (Italy).


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
  • Security testing for industrial automation systems
  • Cyber Insurance
  • Safety and security-critical systems

Other Info: Prof. Eric Filiol, as the editor-in-chief of the Journal in Computer Virology and Hacking Techniques, has proposed to plan a special issue related to this workshop, where extended versions of papers presented at the workshop would be published.


Paper Submission: November 19, 2017 (expired)
Authors Notification: November 21, 2017 (expired)
Camera Ready and Registration: November 29, 2017 (expired)


Alberto Bartoli, University of Trieste, Italy, Italy
Cinzia Bernardeschi, University of Pisa, Italy
Mila Dalla Preda, University of Verona, Italy
Andrea De Lorenzo, University of Trieste, Italy
Fabio Di Troia, San Jose State University, United States
Alberto Ferrante, Università della Svizzera Italiana, Switzerland
Eric Filiol, ESIEA, France
Hugo Gascon, Technical University of Braunschweig, Germany
Vincenzo Gulisano, Chalmers University of Technology, Sweden
Paul Irolla, ESIEA, France
Martina Lindorfer, University of California, Santa Barbara, United States
Robert Luh, St. Pölten University of Applied Sciences, Austria
Ilaria Matteucci, Istituto di Informatica e Telematica, CNR, Italy
Eric Medvet, University of Trieste, Italy
Jelena Milosevic, TU Wien, Austria
Vittoria Nardone, University of Sannio, Benevento, Italy, Italy
Steffen Pfrang, Fraunhofer IOSB, Germany
Andrea Saracino, Consiglio Nazionale delle Ricerche - Istituto di Informatica e Telematica, Italy
Mina Sheikhalishahi, CNR Pisa, Italy
Paul Tavolato, University of Applied Sciences St. Polten, Austria
Tayssir Touili, CNRS, France
Gigliola Vaglini, University of Pisa, Italy


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.


After thorough reviewing by the workshop program committee complemented by members of the main conference program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on CD-ROM support.
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/).
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier).
Extended versions of selected papers presented at the workshop will be published in a special issue of the Journal in Computer Virology and Hacking Techniques


ICISSP Workshops - ForSE 2018
e-mail: icissp.secretariat@insticc.org