Home      Log In      Contacts      FAQs      INSTICC Portal
 

Workshops

The purpose of workshops is to provide a more interactive and focused platform for presenting and discussing new and emerging ideas. The format of paper presentations may include oral presentations, poster presentations, keynote lectures and panels. Depending on the number of presentations, workshops can be scheduled for 1 day or 2 days. 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. SCITEPRESS is a member of CrossRef and every paper is given a DOI (Digital Object Identifier). The proceedings are submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus.

Workshop proposals are accepted until:

October 17, 2018


If you wish to propose a new Workshop please kindly fill out and submit this Expression of Interest form.

WORKSHOPS LIST

ForSE 20193rd International Workshop on FORmal methods for Security Engineering
Chair(s): Antonella Santone and Francesco Mercaldo

3rd International Workshop on
FORmal methods for Security Engineering
 - ForSE 2019

Paper Submission: December 20, 2018
Authors Notification: January 7, 2019
Camera Ready and Registration: January 15, 2019

Co-chairs

Antonella Santone
University of Molise
Italy
 
Francesco Mercaldo
Institute of Informatics and Telematics of Pisa CNR
Italy
 
Scope

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.



footer