Deep Dive zur neuen KBA-Entwicklung

Tobias Philipp ist seit 2017 bei der secunet in der Division Defence & Space, aktuell als Teamleiter des SINA Entwicklungs- & Verifikationsteams. Vorher war er bereits (Senior) Berater und Verifikationsexperte und entwickelte dabei die neue Komponenten-basierte Architektur mit. Davor war er Wissenschaftlicher Mitarbeiter des International Center of Computational Logic der Technischen Universität Dresden und forschte im Bereich der Logik und Formalen Verifikation. Er veröffentlichte über 20 wissenschaftliche Publikationen, von denen zwei den best paper award erhalten haben.

Als Dienstleistungsunternehmen für Sicherheit ist die secunet mit über 1.000 Mitarbeitenden an 12 Standorten spezialisiert auf den Bereiche IIoT, Cloud und E-Health. Das Unternehmen bietet Kund:innen aus der Privatwirtschaft und dem öffentlichen Sektor Sicherheitslösungen, um bei ihren Digitalisierungsprojekten hohe Sicherheitsstandards einzuhalten. Secunet ist IT-Sicherheitspartner der Bundesrepublik Deutschland und Partner der Allianz für Cyber-Sicherheit.

Als IT-Sicherheitspartner der Bundesrepublik Deutschland will die secunet IT-Sicherheit richtig machen und vorantreiben. Mithilfe der Komponenten-basierte Architektur (KBA) stellen sie sicher, dass neue Produkte in den Geheimhaltungsstufen von VS-NfD bis GEHEIM fehlerfrei und nicht angreifbar sind. In seiner Session zeigt Dir Tobias, welche Rolle die Programmiersprache SPARK bei der secunet spielt und wo die Vorteile der Komponenten-basierten Architektur liegen.