The CISPA Helmholtz Center for Information Security is a German national Big Science Institution within the Helmholtz Association. Its research agenda encompasses all aspects of Information Security.
As a Helmholtz Center for Information Security, we are dedicated to cutting-edge foundational research combined with innovative application-oriented research in the areas of cybersecurity, privacy, and artificial intelligence.
Stay informed about the latest breakthroughs, publications, and innovations from our research teams. Explore our original insights, research articles, and press releases, and don’t miss out on upcoming events and conferences.
We at CISPA strive to offer scientists, along with their partners and families a pleasant and friendly living environment. This means that at our research center, all of us are on first-name terms.
Transferring our research into applications and products is one of CISPA's core tasks. In this way, we ensure that the economy and society at large can benefit from pioneering innovations, state-of-the-art technologies and our latest research findings.
At CISPA, we organize and participate in a variety of knowledge transfer activities. They range from public events and trade fairs to policy consultation and citizens' dialogues.
Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
Temporal Causality in Reactive Systems
Automated Technology for Verification and Analysis
Explaining Hyperproperty Violations
Computer Aided Verification
Causality-Based Game Solving
Computer Aided Verification (CAV)
