EvIT goes SICHERHEIT
‘SICHERHEIT’ is the established, regularly held symposium of the ‘Security – Protection and Reliability’ department of the German Informatics Society (GI). EvIT will be presenting itself at the doctoral forum.
Description
Trustworthiness and security are essential prerequisites for critical infrastructures. At the Sicherheit Symposium of the German Informatics Society, Marieke Petersen and Wiebke Dönnebrink will present how formal verification can fulfil these two objectives and what approaches the ecosystem for trustworthy IT brings to the table. They will also demonstrate the advantages of a joint network for research and development in formal verification.
More information: https://www.haw-hamburg.de/sicherheit2026/