CISPA combines comprehensive foundational research on the discovery of new principles and approaches with their systematic further development into a universal toolbox of deployable security technologies and their systematic application and secure composition to large-scale systems. We are in a unique position to address cyber security questions in a truly holistic manner: seminal foundational solutions based on newly developed principles and approaches are systematically developed into deployable security technologies and finally into prototypical and actually deployed systems. Our research is organized in five core research areas of major significance for society and industry.
- Programming language principles and verification
- Software security
- Usable privacy & security
- Threat analysis & modeling
- Information retrieval and machine learning
- System design principles
- Societal and legal concepts