Research

Please visit the pages of the members of our group for information about our research and scientific activities. You can download preprints of most of our publications from the publications page.

Current Project

• Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs
  (DFG, SPP 1496 "Reliably Secure Software Systems"): Phase 1, Phase 2, Phase 3

Past Projects

• Symbolic Analysis of Complex Features of Software
  (DAAD)
• Optimal Interprocedural Analysis of Programs with Thread Creation (OpIAT)
  (DFG): Phase 1, Phase 2