Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.”10.1007/978-3-030-02508-3_23__Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, 2018, pp. 435–54, doi:10.1007/978-3-030-02508-3_23.
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”10.1007/978-3-319-68690-5_22__Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–78, doi:10.1007/978-3-319-68690-5_22.
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”10.1007/978-3-319-47846-3_29__Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483, doi:10.1007/978-3-319-47846-3_29.
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Jakobs, Marie-Christine, et al. “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A, 2016.
LibreCat: /record/170

Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn, 2014.
LibreCat: /record/359