Program
Secure MDE 2020 Program (Times are in the Montreal timezone: UTC/GMT -4 hours):
-
09:00 - 09:10 Welcome and introduction
-
09:10 - 10:10 Session1: MDE for security
09:10 - 09:30 Alfa Yohannis, Alfonso de la Vega, Delaram Kahrobaei and Dimitris Kolovos. Towards Model-Based Development of Decentralised Peer-to-Peer Data Vaults
09:30 - 09:50 Akram Idani and Mario Cortes-Cornax. Towards a Model Driven Formal Approach for Merging Data, Access Control and Business Processes
09:50 - 10:10 Tithnara Nicolas Sun, Ciprian Teodorov and Luka Le Roux. Operational Design for Advanced Persistent Threats
-
11:00 - 12:00 Session 2: Applications and Case studies
11:00 - 11:20 Gabriel Pedroza and Guillaume Mockly. Method and Framework for Security Risks Analysis Guided by Safety Criteria
11:10 - 11:40 Matthias Pasquier, Frédéric Jouault, Matthias Brun and Julien Pérochon. Evaluating Tool Support for Embedded Operating System Security: an Experience Feedback
11:40 - 12:00 Paul Perrotin, Salah Sadou, Antoine Beugnard and David Hairion. Detecting Human Vulnerably in Socio-Technical Systems: A Naval Case Study
-
12:00 - 12:20 Discussion
-
12:20 - 12:30 closing