3rd Internat'l Workshop on FORmal methods for Security Engrg. (ins) S, Vienna House Diplomat Prague, Sobota, 23. Únor 2019

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

23 - 25 February, 2019 - Prague, Czech Republic
In conjunction with the 5th International Conference on Information Systems Security and Privacy - ICISSP 2019

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.

TOPICSTopics 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


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

IMPORTANT DATESPaper Submission: December 20, 2018Authors Notification: January 7, 2019Camera Ready and Registration: January 15, 2019
Antonella Santone
University of MoliseItaly Brief BioAntonella 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.

Francesco Mercaldo
Institute of Informatics and Telematics of Pisa CNRItaly Brief BioFrancesco 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).

The International Conference on Information Systems Security and Privacy aims at creating a meeting point for researchers and practitioners that address security and privacy challenges that concern information systems, especially in organizations, including not only technological issues but also social issues. The conference welcomes papers of either practical or theoretical nature, presenting research or applications addressing all aspects of security and privacy, that concerns to organizations and individuals, thus creating new research opportunities.

Access and Usage Control

Risk and Reputation Management

Security and Privacy in Cloud and Pervasive Computing

Authentication, Privacy and Security Models

Security Architecture and Design Analysis

Security Awareness and Education

Security Frameworks, Architectures and Protocols

Security Testing

Software Security Assurance

Threat Awareness

Vulnerability Analysis and Countermeasures

Information Hiding and Anonymity

Web Applications and Services

Biometric Technologies and Applications

Content Protection and Digital Rights Management

Cryptographic Algorithms

Data and Software Security

Data Mining and Knowledge Discovery

Database Security

Identity and Trust Management

Trusted Computing

Intrusion Detection and Response

Legal and Regulatory Issues

Malware Detection

Mobile Systems Security

Privacy Metrics and Control

Privacy, Security and Trust in Social Media

Privacy-Enhancing Models and Technologies

KEYNOTE SPEAKERSBill Buchanan, Edinburgh Napier University, United KingdomRoberto Di Pietro, Hamad Bin Khalifa University, Qatar

Please contact the event manager Marilyn ( ) below for:- Multiple participant discounts- Price quotations or visa invitation letters- Payment by alternate channels (PayPal, check, Western Union, wire transfers etc)- Event sponsorshipsNO REFUNDS ALLOWED ON REGISTRATIONSService fees included in this listing.-----------------------------------------------------------------INSTICC - New York Events Listhttp://

Sobota, 23. Únor 2019, Vienna House Diplomat Prague, 3rd Internat'l Workshop on FORmal methods for Security Engrg. (ins) S

Další populární události
Získat doporučení na události na základě vašeho vkusu z Facebooku. Získej ho ihned!Ukažte vhodné akce pro měNyní ne