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

• Model Checking of Navigation Logics (MoNaLog)
  (DFG)

Past Projects

• 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

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