Security Analysis of Security Applications for Software Defined Networks. - Markus Tasch; Rahamatullah Khondoker; Ronald Marx; Kpatcha M. Bayarou (AINTEC, 2014)

Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. - Ximeng Li 001; Heiko Mantel; Markus Tasch (APLAS, 2017)

A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. - Tobias Hamann; Mihai Herda; Heiko Mantel; Martin Mohr; David Schneider 002; Markus Tasch (NordSec, 2018)

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. - Oliver Bracevac; Richard Gay; Sylvia Grewe; Heiko Mantel; Henning Sudbrock; Markus Tasch (Arch. Formal Proofs, 2018)

JOINED-VIV: Umsetzung der DSGVO mittels SDM und unter Einbindung des BSI IT-Grundschutzes. - Benjamin Heckmann; Florian Schweighart; Markus Tasch (Datenschutz und Datensicherheit, 2020)