[Om-announce] Deadline approaching: GraMSec 2019

[Massimiliano Albanese]

****************************** CALL FOR PAPERS ******************************

*** The final submission deadline is approaching: April 22, 2019 (strict) ***

GraMSec 2019: The Sixth International Workshop on Graphical Models for Security
Hoboken, NJ, USA - June 24, 2019

http://gramsec.uni.lu
Co-located with CSF 2019

*Submissions received by April 5 receive priority consideration*
*Papers not accepted for presenation a the workshop may be considered for publication in 
post-proceedings after major revision*

SCOPE
The use of graphical security models to represent and analyse the security of systems has 
gained an increasing research attention over the last two decades. Formal methods and computer 
security researchers, as well as security professionals from the industry and government, have 
proposed various graphical security models, metrics, and measurements. Graphical models are 
used to capture different security facets and address a range of challenges including security 
assessment, automated defence, secure services composition, security policy validation, and 
verification. For example, attack graphs, attack trees, attack–defence trees, and attack 
countermeasure trees represent possible ways of attacking and defending a system while misuse 
cases and mal-activity diagrams capture threats and abusive behaviour of users.

TOPICS
This year, we encourage excellent submissions related, but not restricted, to the following 
broad headings:
1. Graph representations: mathematical, conceptual, and implemented tools for describing and 
reasoning about security
2. Logical approaches: formal logical tools for representing and reasoning about graphs and 
their use as modelling tools in security
3. Machine learning: modelling and reasoning about the role of big data and machine learning 
in security operations
4. Networks in national security: terrorist networks, counter-terrorism networks; safety in 
national infrastructure (e.g., utilities and transportation)
5. Risk analysis and management: models of risk management in business and organizational 
architectures
6. Social networks: using and reasoning about social graphs, network analysis, network 
protocols, social mapping, sociometry.
Preference will be given to papers likely to stimulate high-quality debate at the Workshop.

SUBMISSION GUIDELINES
We solicit two types of submissions:
- Regular papers (up to 18 pages, excluding the bibliography and well-marked appendices) 
describing original and unpublished work within the scope of the workshop.
- Short papers (up to 10 pages, excluding the bibliography and well-marked appendices) 
describing original and unpublished work in progress.

The reviewers are not required to read the appendices, so the papers should be intelligible 
without them. All submissions must be prepared using the LNCS style. Each paper will undergo a 
thorough review process. Submissions should be made using the GraMSec 2019 EasyChair website: 
https://easychair.org/conferences/?conf=gramsec2019.

PUBLICATION
As in previous editions, post-proceedings will been made available in the Lecture Notes in 
Computer Science (LNCS) series, published by Springer. This will published after the workshop, 
thus permitting the authors to incorporate feedback from workshop attendees and reviewers. 
Authors whose papers are not selected for presentation at the workshop may also be invited to 
submit a revised version of their manuscript for publication in the post-proceedings.

IMPORTANT DATES (NOTE THE TWO SUBMISSION DEADLINES)
Early submissions (priority in program, and early notification)
- Early paper submission due: Friday, April 5, 2019 (PASSED)
- Notification for early submissions: Friday, May 3, 2019

Late submissions (after CSF notification)
- Late paper submission due: Monday, April 22, 2019 (STRICT)
- Notification for late submissions: Monday, May 13, 2019

- Camera ready versions due: Monday, May 27
- Workshop: Monday, June 24, 2019


PROGRAM CHAIRS
Massimiliano Albanese, George Mason University, VA, USA
Ross Horne, University of Luxembourg, Luxembourg

GENERAL CHAIR
Christian W. Probst, Unitec, New Zealand

STEERING COMMITTEE
Sushil Jajodia, George Mason University, USA
Barbara Kordy, INSA Rennes, IRISA, FR
Sjouke Mauw, University of Luxembourg, Luxembourg
Christian W. Probst, Unitec, New Zealand
Ketil Stølen, SINTEF Digital and University of Oslo, Norway

INVITED SPEAKER
George Cybenko, Dartmouth College

PC MEMBERS
Ludovic Apvrille, Telecom ParisTech, France
Zaruhi Aslanyan, Alexandra Institute, Denmark
Stefano Bistarelli, Università di Perugia, Italy
Hasan Cam, U.S. Army Research Laboratory, PA, USA
Nora Cuppens-Boulahia, IMT Atlantique, France
Harley Eades III, Augusta University, GA, USA
Olga Gadyatskaya, SnT, University of Luxembourg, Luxembourg
René Rydhof Hansen, Aalborg University, Denmark
Jin B. Hong, University of Western Australia, Australia
DongSeong Kim, The University of Queensland, New Zealand
Barbara Kordy, INSA Rennes, IRISA, France
Sjouke Mauw, University of Luxembourg, Luxembourg
Per Håkon Meland, SINTEF ICT, Norway
Guozhu Meng, Chinese Academy of Sciences, Beijing, China
Vivek Nigam, fortiss GmbH, Germany
Andreas Lothe Opdahl, University of Bergen, Norway
Noseong Park, George Mason University, VA, USA
Stéphane Paul, Thales Research and Technology, France
Sophie Pinchinat, INSA Rennes, France
Saša Radomirovic, University of Dundee, United Kingdom
Rolando Trujillo Rasúa, Deakin University, Australia
Paul Rowe, The MITRE Corporation, MA, USA
Giedre Sabaliauskaite, Singapore University of Technology and Design, Singapore
Ketil Stølen, SINTEF, Norway
Sridhar Venkatesan, Vencore Labs, VA, USA

PUBLICITY CHAIR
Ibifubara Iganibo, George Mason University, VA, USA