Home      Log In      Contacts      FAQs      INSTICC Portal

Special Sessions

Special sessions are very small and specialized events to be held during the conference as a set of oral and poster presentations that are highly specialized in some particular theme or consisting of the works of some particular international project. The goal of special sessions (minimum 4 papers; maximum 9) is to provide a focused discussion on innovative topics. All accepted papers will be published in a special section of the conference proceedings book, under an ISBN reference, and on digital support. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. SCITEPRESS is a member of CrossRef and every paper is given a DOI (Digital Object Identifier). The proceedings are submitted for indexation by SCOPUS, Google Scholar, DBLP, Semantic Scholar, Microsoft Academic, EI and Web of Science / Conference Proceedings Citation Index.


ForSE 20226th International Special Session on FORmal methods for Security Engineering
Chair(s): Francesco Mercaldo and Antonella Santone

6th International Special Session on FORmal methods for Security Engineering - ForSE 2022

Paper Submission: December 2, 2021 (expired)
Authors Notification: December 14, 2021 (expired)
Camera Ready and Registration: December 22, 2021 (expired)


Francesco Mercaldo
National Research Council of Italy (CNR)
Antonella Santone
University of Molise

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 special session is to encourage the integration between these two communities towards development of secure and malware resistant systems, thus bridging the existing gap