SecureMDE 2020: 2nd International Workshop on Security for and by Model-Driven Engineering Université de Montréal Montreal, Canada, October 18, 2020 |
Conference website | https://modelia.github.io/secure-mde-workshop/ |
Submission link | https://easychair.org/conferences/?conf=securemde2020 |
Abstract registration deadline | July 15, 2020 |
Submission deadline | July 22, 2020 |
SecureMDE 2020: Second International Workshop on Security for and by Model-Driven Engineering.
Co-located with Models'20, October, Montreal, Canada.
There are at least two ways in which MDE and Security might be beneficially combined: using MDE to support the development of secure systems and, integrating security techniques in MDE to give support to new development scenarios such as collaborative and distributed modeling. In this sense, SecureMDE 2020 will provide a forum for presenting and discussing a wide range of topics related to the interplay between MDE and Security.
Indeed, MDE has succeeded to play a key role in many critical tasks related to ICT security. However, new domains such as Internet of Things, Cyber-physical systems, Systems of Systems, and Blockchain-based technologies stress the limitations of previous work and pose new challenges to current model-driven security techniques. Moreover, the increased adoption of MDE in collaborative scenarios highlights the need for security for MDE itself in order to deal with requirements such as confidentiality and integrity.
The Second International Workshop on Security for and by Model-Driven Engineeringseeks contributions that provide novel results, work-in-progress or experience results on the integration of security tools and techniques in MDE development. SecureMDE 2020 also looks forward to receiving papers summarizing the state-of-the art and future vision in the general field of MDE for the development and analysis of systems with security requirements.
Submission Guidelines
SecureMDE will accept two types of papers: research/technical papers of 10 pages, and position statements of 5 pages. Papers should be submitted in PDF and follow the same style and format of the main tracks of the conference. Manuscripts must be submitted through the EasyChair online submission system:
https://easychair.org/conferences/?conf=securemde2020
All submissions will be formally evaluated by three reviewers; different review criteria will be used for research/technical submissions versus position statements. The former will be assessed based on their novelty, alignment with workshop call, evaluation, and ability to generate discussion. The latter will be evaluated in terms of likelihood of sparking heated debate/discussion at the workshop. All submissions must be original work and must not have been previously published, nor be under consideration for publication elsewhere.
Important Dates
- Abstract submission: July 15, 2020
- Paper submission: July 22, 2020
- Notification: August 21, 2020
- Camera-ready: August 28, 2020
- Workshop: TBA
List of Topics
Topics of the workshop will include (among others):
- Model-driven development of secure software and systems
- Domain-specific modeling languages (DSML) for secure software
- Modeling of access control and privacy policies
- Model-based generation of test cases for security policies
- Model-based dynamic security adaptation
- Model-based security reverse-engineering and analysis
- Model-based security evolution and co-evolution
- Model-based verification techniques for security properties
- Threats, vulnerability, and trust modeling
- Security systems and languages for MDE
- Cryptography and obfuscation for MDE
- IP protection for MDE
- Requirements for/needs in MDE security
- MDE for Block-chain technologies and Smart contracts
- Case studies and experience reports
- MDE for human/social side in security
- MDE using Artificial Intelligence to improve security
Committees
Program Committee
- Olivier Barais - Université de Rennes, France
- Achim Brucher - University of Sheffield, UK
- Brahim Hamid - University of Toulouse, France
- Jan Jurgens - University of Koblenz-Landau, Germany
- Alexander Knapp - Universität Augsburg, Germany
- Nora Koch - University of Seville, Spain
- Regine Laleau - Université Paris-Est Créteil, France
- Yves Le Traon - University of Luxembourg, Luxembourg
- Yves Ledru - Université Grenoble-Alpes, France
- Gabriel Pedroza - CEA LIST, France
- Salah Sadou University of South Brittany, Framce
- Katja Tuma Chalmers/Gothenburg University, Sweden
- Manuel Wimmer - Johannes Kepler University Linz, Austria
Organizing committee
- Salvador Martínez, IMT-Atlantique, Lab-Sticc, Brest, France.
- Nicolas Belloir, IRISA., Rennes, France
- Jordi Cabot, SOM Research Lab, ICREA-UOC, Barcelona, Spain
- Domenico Bianculli, SnT Centre, University of Luxembourg, Luxembourg, Luxembourg
Publication
Accepted papers will be published in the ACM Satellite Event Proceedings. At least one author of each accepted paper must register for the event and participate fully in the workshop.
Venue
The workshop will be co-located with Models'20, October, Montreal, Canada.
Contact
All questions about submissions should be emailed to one of the organizers
- Salvador Martinez salvador.martinez@imt-atlantique.fr.
- Nicolas Belloir nicolas.belloir@st-cyr.terre-net.defense.gouv.fr.
- Jordi Cabot jordi.cabot@icrea.cat.
- Domenico Bianculli domenico.bianculli@uni.lu