Automating the early detection of security design flaws Tuma, Katja Sion, Laurens Scandariato, Riccardo Yskout, Koen 2020 - TUHH Open Research