Dr. Markus Aderhold

M. Aderhold

This is the former webpage of Dr. Markus Aderhold.

Research Interests

  • formal methods for software security
  • best practices for software development
  • information flow security
  • automated reasoning and theorem proving

Services to the Scientific Community




Last modified on 21 September 2013.

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