Katja Tuma, Laurens Sion, Riccardo Scandariato, Koen Yskout. Automating the early detection of security design flaws. In Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrahão, editors, MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020. pages 332-342, ACM, 2020. [doi]
Abstract is missing.