EvIT auf der SICHERHEIT
Die „SICHERHEIT“ ist die etablierte, regelmäßig stattfindende Fachtagung des Fachbereichs „Sicherheit – Schutz und Zuverlässigkeit“ der Gesellschaft für Informatik e.V. EvIT stellt sich dabei im Rahmen des Promovierendenforums vor.
Beschreibung
Zuverlässige und Sicherheit sind unbedingte Voraussetzung für kritische Infrastrukturen. Bei der Fachtagung Sicherheit der Gesellschaft für Informatik e.V. stellen Marieke Petersen und Wiebke Dönnebrink vor, wie formale Verifikation diese zwei Ziele erfüllen kann und welche Ansätze das Ökosystem für vertrauenswürdige IT dabei mitbringt. Dabei zeigen sie, welche Vorteile ein gemeinsames Netzwerk für die Forschung und Entwicklung in der formalen Verifikation haben kann.
Mehr Informationen hier: https://www.haw-hamburg.de/sicherheit2026/