Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

CISPA - Helmholtz-Zentrum für Informationssicherheit
Forschungsgebiet Zuverlässige Sicherheitsgarantien

Address Stuhlsatzenhaus 5
66123 Saarbrücken
Deutschland

GERiT This institution in GERiT

66123 Saarbrücken

Projects

Research Grants
- Current projects
  - Precise Monitoring of Cyber-Physical Technology under Uncertainty (PreCePT)
    (Applicants Finkbeiner, Bernd ; Fränzle, Martin )
  - Provably Secure Multi-Party Signing in Realistic Threat Models
    (Applicant Loss, Julian Henry )
- Completed projects
  - Petri Games: A Semantic and Algorithmic Approach for the Efficient Synthesis of Distributed Reactive Systems
    (Applicants Finkbeiner, Bernd ; Olderog, Ernst-Rüdiger )
  - Tradeoffs in Controller Synthesis (TriCS)
    (Applicant Zimmermann, Martin )
Priority Programmes
- Completed projects
  - Secrecy and Information Flow in Shared Document Bases
    (Applicants Finkbeiner, Bernd ; Seidl, Helmut )
Collaborative Research Centres
- Completed projects
  - Privacy Enforcement for Third-Party Software
    (Project Heads Finkbeiner, Bernd ; Hammer, Christian )
CRC/Transregios
- Current projects
  - Distributed Knowledge and Information Flow
    (Project Heads Dachselt, Raimund ; Finkbeiner, Bernd ; Krötzsch, Markus ; Schmuck, Anne-Kathrin )
  - Programming Abstractions for Cyber-Physical Systems
    (Project Heads Finkbeiner, Bernd ; Gumhold, Stefan ; Majumdar, Rupak )
- Completed projects
  - Beyond Timed Automata
    (Project Heads Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
  - Central Tasks
    (Project Heads Becker, Bernd ; Damm, Werner ; Finkbeiner, Bernd )
  - Compositional Approaches to System Verification
    (Project Heads Becker, Bernd ; Finkbeiner, Bernd ; Nebel, Bernhard ; Scholl, Christoph )
  - Dynamic Communication Systems
    (Project Heads Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
  - Heuristic Search and Abstract Model Checking
    (Project Heads Finkbeiner, Bernd ; Nebel, Bernhard ; Podelski, Andreas )
  - Probabilistic Causality and Explications
    (Project Heads Baier, Christel ; Finkbeiner, Bernd ; Majumdar, Rupak )
Research Training Groups
- Completed projects
  - GRK 623: Quality Guarantees for Computer Systems
    (Spokesperson Seidel, Raimund )
Graduate Schools
- Completed projects
  - GSC 209: Saarbrücken Graduate School of Computer Science
    (Spokesperson Seidel, Raimund )

© 2024 DFG Disclaimer / Copyright / Privacy Policy