Call For Papers

SecureMDE seeks contributions that provide novel results on the integration of security tools and techniques in MDE development, as well as work-in-progress or experience reports that provide insight into early adoption or requirements. SecureMDE 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.

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

Paper Submission

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. 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.

Important Dates

• Abstract submission: July 15, 2020 July 20, 2020
• Paper submission: July 22, 2020 July 26, 2020
• Notification: August 21, 2020
• Camera-ready: August 28, 2020
• Workshop: TBA