Our Projects

We are currently involved in the following projects:

  • CRISP (Center for Research in Security and Privacy)
    funded by the BMBF (German Federal Ministry of Education and Research)
  • CYSEC
    the profile area on Cybersecurity at TU Darmstadt
  • RS3-COOR (Coordination of Reliably Secure Software Systems)
    funded as a priority programme by the DFG (German Research Foundation)
  • RSCP (Reliable Security for Concurrent Programs)
    funded by the DFG (German Research Foundation) in the priority program RS3 (Reliably Secure Software Systems)
  • SeRCA (Secure Refinement of Cryptographic Algorithms)
    funded by the DFG (German Research Foundation) in the collaborative research center CROSSING as project E3
  • SF 4.0 (Software-Factory 4.0)
    funded as a Research Focus within LOEWE (Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz) by the HMWK (Hessen State Ministry for Higher Education, Research and the Arts)

Completed Projects

  • CASED (Center for Advanced Security Research Darmstadt): research area Secure Data and research area Secure Services
    funded within LOEWE (Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz) by the HMWK (Hessen State Ministry for Higher Education, Research and the Arts)
  • EC SPRIDE (European Center for Security and Privacy by Design)
    funded by the BMBF (German Federal Ministry of Education and Research)
  • FM-SecEng (Formal Methods for Security Engineering) (2005-2013)
    funded by the DFG (German Research Foundation) within the Aktionsplan Informatik
  • ExFoSeC (2009)
    funded by industry
  • Mobius: Mobility, Ubiquity and Security (2005-2009)
    funded by the EU
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang