Home      Log In      Contacts      FAQs      INSTICC Portal
Special Session
5th International Workshop on FORmal methods for Security Engineering - ForSE 2021

11 - 13 February, 2021

In conjunction with the 7th International Conference on Information Systems Security and Privacy - ICISSP 2021


Francesco Mercaldo
Institute of Informatics and Telematics of Pisa CNR
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 lecturer in Database, Operating Systems (Bachelor Degree) and Software Security (Master Degree) courses at the University of Molise (Italy).
Antonella Santone
University of Molise
Brief Bio
Antonella Santone was born in Montreal (Canada) on June 13, 1969. She is an Associate Professor at the University of Molise since September 2017. She received the Laurea degree in Computer Science at the University of Pisa, Italy, in April 1993. In September 1997 she received the Ph.D. degree in Computer Systems Engineering at the Dipartimento di Ingegneria della Informazione, University of Pisa. She has been Assistant Professor at the University of Pisa from November 1998 to October 2001. She has been an Associate Professor at the Department of Engineering of the University of Sannio from November 2001 to August 2017. She has been President of the Didactical Committee of the master's degree in Computer Science Engineering, University of Sannio, from the academic year 2005/2006 to the academic year 2013/2014. She has been President of the Didactical Committee of the degree in Computer Science Engineering, University of Sannio, from the academic year 2011/2012 to the academic year 2013/2014. She has been President of the CampusOne Project. From 2006 to 2009 she has been a member of the Socrates/Erasmus Committee of the Faculty of Engineering, University of Sannio. From 2009 to 2012 she has been President of the Orientation Committee of the Faculty of Engineering, University of Sannio. She was involved in several research activities and projects. Antonella Santone's current research is focused on formal verification methods. Her research interests include formal description techniques, temporal logic, concurrent and distributed systems modelling, heuristic search, formal methods in systems biology and in security engineering. She has written more than one hundred papers for international journals and conferences.


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
  • Biomedical infrastructures security
  • Biomedical data privacy
  • Fraud detection
  • Security for Complex System
  • Security and privacy in Internet of Things (IoT)
  • Design and verification of malware detection systems
  • 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


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


Daniel Bastos, Bosch Security and Safety Systems, Portugal
Cinzia Bernardeschi, Information Enginerring, University of Pisa, Italy
Rosangela Casolare, University of Molise, Italy
Umberto Di Giacomo, University of Molise, Italy
Fabio Di Troia, San Jose State University, United States
Theo Dimitrakos, Munich Research Center, Huawei Technologies Duesseldorf GmbH, Germany
Alberto Ferrante, Faculty Of Informatics, Universita della Svizzera Italiana, Switzerland
Eric Filiol, ENSIBS, France
Vincenzo Gulisano, Chalmers University of Technology, Sweden
Giacomo Iadarola, IIT-CNR, Italy
Longquan Jiang, Macrowing, China
Andrea De Lorenzo, University of Trieste, Italy
Ilaria Matteucci, Istituto di Informatica e Telematica, CNR, Italy
Eric Medvet, Engineering and Architecture Department, University of Trieste, Italy
Christina Michailidou, Catalink, Cyprus
Maurizio Palmieri, University of Pisa, Italy
Athanasios Rizos, Munich Research Center, Huawei Technologies Duesseldorf GmbH, Germany
Xuan Sun, Information Science and Technology, Sanda University, Shanghai, China
Paul H. Tavolato, Research Group Security and Privacy, University of Vienna, Austria
Gigliola Vaglini, Information Engineering Department, University of Pisa, Italy
P. Vinod, Cochin university of science and technology, India


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, 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 will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index), Scopus, Semantic Scholar and Google Scholar.

Extended versions of selected papers will be published in a special issue of Journal of Computer Virology and Hacking Techniques published by Springer.


ICISSP Workshops - ForSE 2021