Flaws in Flows: Unveiling design flaws via information flow analysis Tuma, Katja Scandariato, Riccardo Balliu, Musard 2019 - TUHH Open Research