Markus Tasch

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 4

Top Topics

Sum Product Algorithm

Plagiarism Detection

Benchmark Suite

Security Properties

Top Venues

Datenschutz und Datensicherheit

Arch. Formal Proofs

Publications

Benjamin Heckmann, Florian Schweighart, Markus Tasch
JOINED-VIV: Umsetzung der DSGVO mittels SDM und unter Einbindung des BSI IT-Grundschutzes. Datenschutz und Datensicherheit 44 (10) (2020)
Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. Arch. Formal Proofs 2018 (2018)
Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. NordSec (2018)
Ximeng Li, Heiko Mantel, Markus Tasch
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. APLAS (2017)
Markus Tasch, Rahamatullah Khondoker, Ronald Marx, Kpatcha M. Bayarou
Security Analysis of Security Applications for Software Defined Networks. AINTEC (2014)