Markus Tasch
Office: S2|02 E321
Phone: +49 6151 16-25256
Fax: +49 6151 16-25251
Mail: LASTNAMEatmais.informatik.tu-darmstadt.de
Office Hour: Wednesday  15:00 - 16:00 (MoSeS)
(Please drop me an e-mail in advance.)

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

GPG-Key: 4096RSA/A85F0CE4, Fingerprint: 0E2E EB46 2CDD B1DF 9149 B979 709E 1268 A85F 0CE4.


Short Bio

Before joining the MAIS group as a Ph.D. candidate, I obtained my master's degree in IT-security and my bachelor's degree in computer science from Technische Universität Darmstadt. In both my theses I worked on information flow control on the specification level and, in particular, on extending and applying the Modular Assembly Kit for Security Properties (MAKS). In more detail, I investigated the applicability of MAKS in an integrity setting in my bachelor's thesis and investigated what information flow properties are induced by a system's architecture in my master's thesis.

Research Interests

  • Information flow security on the specification level
  • Formal methods
  • Machine-assisted and automated theorem proving
  • Rely-guarantee reasoning
  • Security engineering

Theses Topics and Student Assistant Positions

Are you looking for a thesis topic or a position as student assistant? Are you interested in applying formal methods to provide formal security guarantees? Feel free to contact me via e-mail for open thesis topics or student assistant positions connected to my current research topics.

Publications

These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


2017

2016

  • Thomas Bauereiss, Abhishek Bichhawat, Iulia Bolosteanu, Peter Faymonville, Bernd Finkbeiner, Deepak Garg, Richard Gay, Sergey Grebenshchikov, Christian Hammer, Dieter Hutter, Ondřej Kunčar, Peter Lammich, Heiko Mantel, Christian Müller, Andrei Popescu, Markus Rabe, Vineet Rajani, Helmut Seidl, Markus Tasch and Leander Tentrup. Security in Web-Based Workflows. Poster at the 25th USENIX Security Symposium, 2016.
    BibTeX entry ]

2015

  • Thomas Bauereiss, Abhishek Bichhawat, Iulia Bolosteanu, Peter Faymonville, Bernd Finkbeiner, Deepak Garg, Richard Gay, Sergey Grebenshchikov, Christian Hammer, Dieter Hutter, Ondřej Kunčar, Peter Lammich, Heiko Mantel, Christian Müller, Andrei Popescu, Markus Rabe, Vineet Rajani, Helmut Seidl, Markus Tasch and Leander Tentrup. Security in Web-Based Workflows. Poster at the 36th IEEE Symposium on Security and Privacy (S&P), 2015.
    BibTeX entry | Abstract ]
  • Markus Tasch. Towards Guaranteeing Information Flow Properties by Architectural Design. Master Thesis, TU Darmstadt, 2015.
    BibTeX entry ]

2013

  • Markus Tasch. Exemplary Specification of Integrity Requirements by Information-Flow Properties. Bachelor Thesis, TU Darmstadt, 2013.
    BibTeX entry ]

Services to the Scientific Community

  • I have been reviewing for ESORICS 2016, LOPSTR 2016 and ESORICS 2017.

Supervised Theses

  • Finished
    Iva Toteva. Advancing Tool Support for the Detection of Side-Channel Vulnerabilities in Java. Master Thesis, TU Darmstadt, 2016

Teaching

I have been involved in the following courses and teaching activities:

Last modified on 7 November 2017.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang