€610 – €695

ForSE 2018 - 2nd International Workshop on FORmal methods for Security Engi...

Event Information

Share this event

Date and Time

Location

Location

Vila Galé Santa Cruz

Rua São Fernando, 5

9100-173 Santa Cruz

Portugal

View Map

Refund Policy

Refund Policy

No Refunds

Friends Who Are Going
Event description

Description

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



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.



TOPICS

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.


IMPORTANT DATES

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


WORKSHOP PROGRAM COMMITTEE

Daniel Arp, Technical University of Braunschweig, Germany
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
Alberto Ferrante, University of Lugano, 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, Università della Svizzera italiana, Switzerland
Vittoria Nardone, University of Sannio, Benevento, Italy, Italy
Albina Orlando, Istituto per le Applicazioni del Calcolo “M. Picone”,CNR, Naples, 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
Miroslav Velev, Aries Design Automation, United States
Corrado Aaron Visaggio, Università degli Studi del Sannio, Italy


CO-CHAIRS


Antonella Santone
Università degli Studi del Molise
Italy

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.


Francesco Mercaldo
National Research Council of Italy (CNR), Pisa
Italy

Brief Bio
Francesco Mercaldo received his master degree in computer engineering from the University of Sannio (Benevento, Italy), with a thesis in software testing entitled "Design and Implementation of a System for the Identification of Anomalies of Alteration of Databases". He obtained his PhD in 2015 with a dissertation on malware analysis using machine learning techniques entitled "Software Security in Android Environment Through Features Extraction", under the supervision of Profs. Gerardo Canfora and Corrado Aaron Visaggio. The aim of his research is to define novel and effective techniques to address to plague of mobile malware and to characterize the different families of belonging. The research areas of Francesco are software testing, verification and validation, with the emphasis on the application of empirical methods. The core of his research is finding methods and methodologies to detect these new threats applying the empirical methods of software engineering as well as studying the current mechanisms to ensure security and private data in order to highlight the vulnerability. Currently he is working as post-doctoral researcher at the Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche (CNR) in Pisa (Italy). He is also involved as graduate teaching assistant in Software Engineering, Database (Bachelor Degree) and Software Security (Master Degree) courses at the University of Sannio in Benevento (Italy). He served as student volunteer at ICSE2015. He has participated as PC Member to: 3PGCIC2015, 3PGCIC2016 (International Conference on P2P, Parallel, Grid, Cloud and Internet Computing) and WMA2016 (1st International Workshop on Malware Analysis, ARES2016).





------------
AGENDA
------------


Program
Program




SCOPE

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.



CONFERENCE TOPICS

  • Access and Usage Control
  • Authentication, Privacy and Security Models
  • Automotive Security
  • 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
  • Information Hiding and Anonymity
  • Intrusion Detection and Response
  • Legal and Regulatory Issues
  • Malware Detection
  • Mobile Systems Security
  • Phishing
  • Privacy Metrics and Control
  • Privacy, Security and Trust in Social Media
  • Privacy-Enhancing Models and Technologies
  • Risk and Reputation Management
  • Security and Privacy in Cloud and Pervasive Computing
  • Security and Trust in Pervasive Information Systems
  • 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
  • Web Applications and Services



KEYNOTE SPEAKERS

David Jacoby, Kaspersky Lab, Sweden
Ross Anderson, University of Cambridge, United Kingdom


Please contact the event manager Marilyn (marilyn.b.turner(at)nyeventslist.com ) below for:
- Multiple participant discounts
- Price quotations or visa invitation letters
- Payment by alternate channels (PayPal, check, Western Union, wire transfers etc)
- Event sponsorships

NO REFUNDS ALLOWED ON REGISTRATIONS
Service fees included in this listing.
-----------------------------------------------------------------
This event is brought to you by:
INSTICC - NewYorkEventsList
http://www.NyEventsList.com
http://www.BostonEventsList.com
http://www.SFBayEventsList.com
-----------------------------------------------------------------

MYL171114CEV
Share with friends

Date and Time

Location

Vila Galé Santa Cruz

Rua São Fernando, 5

9100-173 Santa Cruz

Portugal

View Map

Refund Policy

No Refunds

Save This Event

Event Saved