Sicher über das Internet kommunizieren zu können ist zu einer Schlüsseltechnologie vieler Lebens- und Arbeitsbereiche sowie weitreichender Digitalisierung geworden; gleichzeitig machen gesteigerte Effizienz- und Sicherheitsanforderungen neuartige Kommunikationsverfahren notwendig. In meiner Arbeit untersuche ich, wie diese Anforderungen an die kryptographischen Kernkomponenten von Kommunikationsverbindungen -- Schlüsselaustausch- und Kanalprotokolle -- formalisiert und damit generalisierbar auf zukünftige Protokollentwicklungen übertragen werden können. Die Sicherheitsmodelle aus meiner Arbeit ermöglichen es, die praktische Sicherheit neuer Kommunikationsverbindungen präziser und umfassender zu verstehen und haben es mir unter anderem erlaubt, den Standardisierungsprozess der neuesten Version des weltweit wichtigsten Sicherheitsprotokolls, TLS (Transport Layer Security) 1.3, durch die gewonnenen wissenschaftlichen Erkenntnisse zu unterstützen.

WLAN-Chips sind heutzutage allgegenwärtig und bieten eine Vielzahl von Funktionen, die weit über das hinausgehen, was Hersteller uns Anwendern zugänglich machen. In seiner Promotionsarbeit eröffnet Matthias Schulz den potentiell uneingeschränkten Zugriff auf alle Chip-Funktionalitäten, die sich durch komfortabel erstellte Firmwaremodifikationen nutzen lassen. Neben performanzsteigernden Applikationen lassen sich so auch verdeckte Kommunikationskanäle sowie selektive und gleichzeitig energiesparende Störsender zum Schutz vor drahtlosen Angreifern realisieren.

Angesichts der hohen Anzahl an unterschiedlichen Angriffsvektoren und der zunehmenden Automatisierung, mit der Angriffe auf Computersysteme durchgeführt werden, bedarf es dringend moderner Methoden zur Angriffserkennung. In dem Vortrag werden Ansätze vorgestellt, die Angriffe mit Hilfe von Methoden des maschinellen Lernens zuverlässig aber vor allem auch effizient erkennen. So kann der Automatisierung von Angriffen erfolgreich ein entsprechend hoher Grad an Automatisierung von Verteidigungsmaßnahmen entgegengestellt werden.