Our Projects

We are currently involved in the following projects:

• CASED: Center for Advanced Security Research Darmstadt,
  Research Area "Secure Data"
  funded within the "Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz" by the Land Hessen
• CASED: Center for Advanced Security Research Darmstadt,
  Research Area "Secure Services"
  funded within the "Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz" by the Land Hessen
• EC-SPRIDE: European Center for Security and Privacy by Design
  funded by the German Federal Ministry of Education and Research (BMBF)
• FM-SecEng: Formal Methods for Security Engineering
  funded by the German Research Foundation (DFG) in the Computer Science Action Program (Aktionsplan Informatik)
• RS³: Reliably secure software systems (Zuverlässig sichere Softwaresysteme)
  funded as a priority programme by the German Research Foundation (DFG)
• RSCP: Reliable Security for Concurrent Programs
  funded by the German Research Foundation (DFG) in the RS3 Program

Completed Projects

• ExFoSeC (2009)
  funded by industry
• Mobius: Mobility, Ubiquity and Security (2005-2009)
  funded by the EU