Project | PROTECT

Cyber attacks on companies and public institutions are increasing dramatically worldwide. The PROTECT project, funded by the Cyber Agency, is developing solutions to make IT systems more resistant to these threats. Coordinated by the German Research Center for Artificial Intelligence (DFKI) and in collaboration with leading partners from industry and research, the project pursues a clear goal: using innovative methods of formal verification to raise IT security to a new level and sustainably strengthen trust in digital systems.

The approach is based on three strengths of the partners involved:

1. Bottom-up instead of top-down We combine the existing approaches of the partners involved, combining existing strengths instead of forcing project partners into a one-size-fits-all corsett. At the same time, this approach allows users to select the appropriate methods for their use case.
2. Open source and open science. Our work is published as open source or open access, to make it as widely accessible as possible.
3. Research-driven. All scientific partners are well-established in their respective fields, and contribute this excellence in research to the project. Technically, we use advanced technologies and languages: advanced verification techniques, SAIL for ISA specification, a set of reference system architectures based on RISC-V, and Rust as implementation language.

The project is part of the Ecosystem Trustworthy IT-Provable Cybersecurity (ÖvIT) and is coordinated by DFKI's Cyber-Physical Systems research department in Bremen. Other partners are the CertLab of DFKI, RWTH Aachen University, Cryspen SARL (Paris, France), the Gesellschaft für Informatik e.V. (Berlin/Bonn), RPTU Kaisers lautern, LUBIS EDA GmbH (Kaiserslautern) and the University of Lübeck.

Partners

• RWTH Aachen
• Cryspen SARL (Paris, Frankreich)
• Gesellschaft für Informatik e.V. (Berlin/Bonn)
• RPTU Kaiserslautern
• LUBIS EDA GmbH (Kaiserslautern)
• Universität zu Lübeck.