IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
GraMSec 2020 : The 7th International Workshop on Graphical Models for Security
GraMSec 2020 : The 7th International Workshop on Graphical Models for Security

GraMSec 2020 : The 7th International Workshop on Graphical Models for Security

Online
Event Date: June 22, 2020 - June 22, 2020
Submission Deadline: April 24, 2020
Notification of Acceptance: May 29, 2020
Camera Ready Version Due: August 07, 2020




About

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. The International Workshop on Graphical Models for Security is an established scientific event dedicated to study and exchange of experiences on graphical security and safety modelling.


Call for Papers

This year, we are particularly keen to encourage excellent submissions related, but not restricted, to the following broad headings:

  • Graph representations: mathematical, conceptual, and implemented tools for describing and reasoning about security and safety
  • Logical approaches: formal logical tools for representing and reasoning about graphs and their use as modelling tools in security
  • Machine learning: modelling and reasoning about the role of big data and machine learning in security operations
  • Networks in national security: terrorist networks, counter-terrorism networks; safety in national infrastructure (e.g., utilities and transportation)
  • Risk analysis and management: models and graphical methodologies for security and privacy risk management in business and organizational architectures
  • Social networks: using and reasoning about social graphs, network analysis, network protocols, social mapping, sociometry.
  • Semantics: developing or studying semantic approaches to graph-based models used in security like set theoretic models, categorical models, logical models, etc.
  • Threat modelling: modelling and analyzing software systems security, models for DevSecOps, etc.
  • Security requirements: models and tools for describing and analyzing requirements on system security and privacy.
  • Visual security: modelling and analytics for security visualizations.
  • Secure systems: safe and secure system design, quantification of security/safety, models for system security/safety evaluation.



Summary

GraMSec 2020 : The 7th International Workshop on Graphical Models for Security will take place in Online. It’s a 1 day event starting on Jun 22, 2020 (Monday) and will be winded up on Jun 22, 2020 (Monday).

GraMSec 2020 falls under the following areas: SECURITY, FORMAL METHODS, VISUALIZATION, COMPUTER SCIENCE, etc. Submissions for this Workshop can be made by Apr 24, 2020. Authors can expect the result of submission by May 29, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 07, 2020 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the GraMSec 2020

  • Short Name: GraMSec 2020
  • Full Name: The 7th International Workshop on Graphical Models for Security
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of GraMSec 2020
  • Event Type: Workshop
  • Website Link: https://www.gramsec.uni.lu/
  • Location/Address: Online


Credits and Sources

[1] GraMSec 2020 : The 7th International Workshop on Graphical Models for Security


Check other Conferences, Workshops, Seminars, and Events


OTHER SECURITY EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
CSP--EI 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE--EI 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
SHOW ALL

OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER VISUALIZATION EVENTS

EGPGV 2025: Eurographics Workshop on Parallel Graphics and Visualization
Luxembourg City, Luxembourg
Jun 2, 2025
VMV 2025: Vision Modeling and Visualization
Erlangen, Germany
Sep 29, 2025
JFVIP Special Issue on AI 2025: AI-Powered Biomedical Computation and Flow Visualization: A Special Issue of the Journal of Flow Visualization and Image Processing
N/A
ISVC 2024: 19th International Symposium on Visual Computing
Lake Tahoe, Nevada, USA
Oct 21, 2024
ICOTI 2025: Sixteenth International Conference on The Image, University of Salford, Manchester
University of Salford, Manchester
Sep 4, 2025
SHOW ALL

OTHER COMPUTER SCIENCE EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
CIoT 2025: 7th International Conference on Internet of Things
Toronto, Canada
Jul 19, 2025
MODELSWARD 2026: 14th International Conference on Model-Based Software and Systems Engineering
Marbella, Spain
Mar 7, 2026
SHOW ALL