Markus Tasch

According to our database, Markus Tasch authored at least 5 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

JOINED-VIV: Umsetzung der DSGVO mittels SDM und unter Einbindung des BSI IT-Grundschutzes.

Benjamin Heckmann, Florian Schweighart, Markus Tasch

Datenschutz und Datensicherheit, 2020

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

A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode.

Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch

Proceedings of the Secure IT Systems - 23rd Nordic Conference, NordSec 2018, Oslo, Norway, 2018

2017

Taming Message-Passing Communication in Compositional Reasoning About Confidentiality.

Ximeng Li, Heiko Mantel, Markus Tasch

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2014

Security Analysis of Security Applications for Software Defined Networks.

Markus Tasch, Rahamatullah Khondoker, Ronald Marx, Kpatcha M. Bayarou

Proceedings of the AINTEC 2014 on Asian Internet Engineering Conference, Chiang Mai, Thailand, November 26, 2014