Third Party Funded Projects

We are currently involved in the following projects:

  • SF 4.0 - Coordination (Coordination of 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)
  • SF 4.0 - Sound Parallelization
    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)
  • FoCC (Formal QoSec for Comparison and Composition)
    funded by the BMBF (German Federal Ministry of Education and Research) and HMWK (Hessen State Ministry for Higher Education, Research and the Arts) in the National Research Center for Applied Cybersecurity ATHENE within QoSec
  • Runtime Monitoring for IoT
    funded by the BMBF (German Federal Ministry of Education and Research) and HMWK (Hessen State Ministry for Higher Education, Research and the Arts) in the National Research Center for Applied Cybersecurity ATHENE within IP4
  • SeRCA (Secure Refinement of Cryptographic Algorithms)
    funded by the DFG (German Research Foundation) in the collaborative research center CROSSING as project E3
  • SeRDiWow (Securing Refinements of Distributed Workflows)
    funded by the BMBF (German Federal Ministry of Education and Research) and HMWK (Hessen State Ministry for Higher Education, Research and the Arts) in the National Research Center for Applied Cybersecurity ATHENE within TRUDATA

Completed Third Party Funded Projects

  • VALSVOK (Verifying Application-level Security based on Verified OS Kernels)
    funded as a PPP by the DAAD
  • 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)
  • CRISP (Center for Research in Security and Privacy; has been renamed to ATHENE)
    funded by the BMBF (German Federal Ministry of Education and Research)
  • 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