Rechenzentren bilden das Rückgrat digitaler Dienste, von Cloud-Speichern über Videokonferenzen bis hin zu Suchmaschinen. Entsprechend groß ist die Bedeutung robuster Sicherheitsprotokolle in diesem Bereich. Das Post-Quantum Secure Protocol (PSP) bildet die Grundlage für das Falcon Channel Protocol, das Google für den Datenaustausch in seinen Rechenzentren entwickelt hat. Die Informatikstudierenden überprüften beide Protokolle mit einem 2024 eingeführten Sicherheitsmodell (Fischlin et al., JofC), das sich besonders für unzuverlässige Netzwerke eignet. Das Modell bewertet, ob Daten zuverlässig und unverändert beim Empfänger ankommen, auch wenn das Netzwerk schwankt. Ergebnis: Die Protokolle erfüllen die gängigen Sicherheitsanforderungen, auch wenn die offizielle Spezifikation an einigen Stellen Interpretationsspielraum lässt.

Lehrprojekt mit Wirkung

Die vorgestellte Arbeit entstand im Rahmen des Masterseminars „Forschungsorientierte Kryptographie“ im Wintersemester 2024/25. Für die beteiligten Studierenden war die Publikation nicht nur eine praxisnahe Erfahrung im wissenschaftlichen Arbeiten, sondern auch ein Beispiel dafür, wie Lehrprojekte Impulse für aktuelle Forschungsfragen liefern können.

Aus dem Sonderforschungsbereich CROSSING wurden zwei weitere Forschungsarbeiten vorgestellt: BIP32-Compatible Threshold Wallets (Fachgebiet CAC, Prof. Sebastian Faust) und Concretely Efficient Private Set Union via Circuit-Based PSI (Fachgebiet Encrypto, Prof. Thomas Schneider).