Dr. Barbara Sprick

B. Sprick
This the former webpage of Prof. Dr. Barbara Sprick. For her current page, see her webpage of Hochschule Heidelberg.

Brief bio

since 2008

  • researcher, TU Darmstadt, Informatik, MAIS

2006 - 2008

2004 - 2005

1996 - 2004

  • research assistant, TU Dortmund, Informatik, ISSI
    PhD 2003 (advisor Prof. Dr. Joachim Biskup)

Research interests

  • Security Engineering
  • Information Flow Security
  • Web Security

Current project



  • Deepak D'Souza, Ravindra Holla, Raghavendra KR, Barbara Sprick: Model Checking Trace Based Information Flow Properties.
     Journal of Computer Security (JCS),IOS Press, pp 101 - 138, Volume 19, Number 1, 2011.

  • Barbara Sprick, Sandra Wortmann: Time Dependent Trust Structures. In Computer Systems Science and Engineering (CSSE), Special issue on TrustBus, CRL Publishing Ltd, 2005.

Conferences and Workshops (reviewed)

Technical Reports and Theses

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