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