Search results for:
No result found! Try with different keywords!
Users
Organizers
Events
Advertisement
Oh Snap, this is a past event! 😵

Do you want to get notified when this event happens again?

3rd Internat'l Workshop on FORmal methods for Security Engrg. (ins) S

Advertisement

3rd Internat'l Workshop on FORmal methods for Security Engrg. (ins) S


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



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




IMPORTANT DATES
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

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


Institute of Informatics and Telematics of Pisa CNR
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. 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).



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



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 SPEAKERS
Bill Buchanan, Edinburgh Napier University, United Kingdom
Roberto Di Pietro, Hamad Bin Khalifa University, Qatar






Please contact the event manager Marilyn (bWFyaWx5biAhIGIgISB0dXJuZXIgfCBueWV2ZW50c2xpc3QgISBjb20= ) 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.
-----------------------------------------------------------------
INSTICC - New York Events List
http://www.NyEventsList.com
http://www.BostonEventsList.com
http://www.SFBayEventsList.com
-----------------------------------------------------------------

MYL180825CEV



You may also like the following events from New York Events List:

Map Vienna House Diplomat Prague, 15 Evropská, 160 41 Prague, Czech Republic, Prague, Czech Republic
Loading venue map..
Report a problem

Are you going to this event?

Organizer

New York Events List
Advertisement