A CEGAR Scheme for Information Flow Analysis. - Manuel Töws; Heike Wehrheim (ICFEM, 2016)

Policy Dependent and Independent Information Flow Analyses. - Manuel Töws; Heike Wehrheim (ICFEM, 2017)

Information Flow Certificates. - Manuel Töws; Heike Wehrheim (ICTAC, 2018)