Dagstuhl-Seminar "Guardians of the Galaxy"

11 März 2025

Professor Mark Manulis hat kürzlich am renommierten Dagstuhl-Seminar "Guardians of the Galaxy: Protecting Space Systems from Cyber Threats" teilgenommen, das vom 2. bis 7. März 2025 stattfand. Die Teilnahme an Dagstuhl-Seminaren erfolgt ausschließlich auf Einladung und bringt führende Experten aus Wissenschaft und Industrie zusammen, um zentrale Herausforderungen zu diskutieren.

Das Seminar konzentrierte sich auf aktuelle Cybersicherheitsprobleme im Raumfahrtsektor und hatte das Ziel, Forschungs- und Entwicklungsherausforderungen im Schutz von Raumfahrtinfrastrukturen und Satellitenkommunikation gegen die zunehmende Bedrohung durch Cyberangriffe zu erörtern. Zu den Kernthemen gehörten die Erhöhung der Widerstandsfähigkeit von Raumfahrzeugen, die Absicherung bodengestützter Operationen, die für die Missionskontrolle entscheidend sind, der Schutz von Kommunikationsverbindungen vor Abhörversuchen und Störungen sowie der Übergang zur Post-Quanten-Kryptographie.

Nick Frymann verteidigt seine Doktorarbeit im Vereinigten Königreich

Nick Frymann, ein externer Doktorand von Prof. Manulis, hat erfolgreich seine Doktorarbeit an der University of Surrey im Vereinigten Königreich verteidigt. Nicks Doktorarbeit mit dem Titel „Asynchronous Remote Key Generation and its Applications in W3C WebAuthn and FIDO“ enthält mehrere technische Beiträge zum WebAuthn-Standard, die sich mit Szenarien befassen, in denen Benutzer Authentifizierungs-Token verlieren oder den Zugriff auf ihre Webkonten delegieren müssen, ohne dabei die Privatheit und die Sicherheit zu beeinträchtigen. Dr. Frymann arbeitet als Dozent an der University of Surrey, wo Prof. Manulis zurzeit eine Gastprofessur innehat.

Eingeladener Vortrag auf SKECH 2024 in Bertinoro

Auf dem 5. Workshop "SKECH@BiCi: Secure Key Exchange and Channel Protocols" gab Prof. Manulis am 05. Juni in Bertinoro, Italien, einen eingeladenen Vortrag zum Thema "Asynchronous Remote Key Generation (ARKG) and its Applications". ARKG ist eine neue Variante von Schlüsselkapselungsverfahren (Key Encapsulation Mechanisms), die es einem Sender ermöglicht, ein kryptographisches Schlüsselpaar (sk, pk) für den beabsichtigten Empfänger so zu kapseln, dass nur der Empfänger den privaten Schlüssel sk später berechnen kann. Das Paar (sk, pk) kann dann als sein eigenes, frisch generiertes Schlüsselpaar in Public-Key-Kryptosystemen verwendet werden. Seit seiner Einführung im Jahr 2020 hat sich ARKG als vielseitiger Baustein erwiesen, der eine Reihe unterschiedlicher privatsphäre-schützender Anwendungen im Bereich der Authentifizierung und Blockchains ermöglicht. Auf dem alle zwei Jahren stattfindendem SKECH-Workshop treffen sich renommierte Forscher, die an kryptographischen Protokollen zum sicheren Nachrichtenaustausch und Schlüsselmanagement arbeiten, um die letzten Forschungsentwicklungen zu diskutieren. Die Teilnahme an einem SKECH-Workshop ist nur mit einer vorherigen persönlichen Einladung möglich.

PACY auf EUROCRYPT 2024 in Zürich

Die jährliche Konferenz EUROCRYPT, welche in Mai 2024 in Zürich ausgerichtet wurde, zählt zu den wichtigsten wissenschaftlichen Tagungen im Bereich der Kryptographie und PACY Lab war mit dabei. Jerome Nguyen (im Bild) stellte die Ergebnisse der neuen Forschungsarbeit aus seiner gemeinsamen Veröffentlichung mit Prof. Manulis vor. Die Arbeit mit dem Titel "Fully Homomorphic Encryption beyond IND-CCA1 Security: Integrity through Verifiability" setzt neue Sicherheitsmasstäbe für vollhomomorphe Verschlüsselungsverfahren und stärkt alle bisher bekannten Sicherheitsanforderungen an solche Verfahren. Die Arbeit stellt auch Ansätze vor, wie diese sträkeren Sicherheitseigenschaften bei bekannten vollhomomorphen Verschlüsselungsverfahren erreicht werden können.

Beiträge auf EUROCRYPT 2024 und USENIX Security 2024

Ein guter Jahresanfang für PACY Lab mit zwei angenommenen Beiträgen zum Thema der vertraulichen Datenverarbeitung mit verschlüsselten Daten bei renommierten Konferenzen: "Fully Homomorphic Encryption beyond IND-CCA1 Security: Integrity through Verifiability" angenommen bei EUROCRYPT 2024 stellt die bisher stärksten FHE-Sicherheitsgarantien und allgemeine Techniken vor, die Integrität und Überprüfbarkeit für (ausgelagerte) FHE-Berechnungen erreichen. Es ist auch die erste Veröffentlichung von Jérôme Nguyen. "FEASE: Fast and Expressive Asymmetric Searchable Encryption" auf der USENIX Security 2024, ist das Ergebnis der Zusammenarbeit mit Forschern des Surrey Centre for Cyber Security und unser Beitrag zum EU H2020 Projekt SECANT. Die Arbeit stellt die bisher schnellste Konstruktion und Implementierung eines Verschlüsselungsschemas mit öffentlichem Schlüssel vor, das private Suchanfragen über verschlüsselte indizierte Daten unterstützt.

Mitorganisation von SECITC 2023 in Bukharest

SECITC (International Conference on Security for Information Technology and Communications) ist eine jährlich in Rumänien stattfindende internationale Konferenz, die sich mit allen theoretischen und praktischen Aspekten der Sicherheit von Informationstechnologie und Kommunikation befasst. Prof. Manulis wurde eingeladen bei SECITC 2023 in Bukharest vom 23. bis 24. November als Programmkommittee Chair mitzuwirken. Das Konferenzprogramm umfasste 14 begutachtete Beiträge und 3 eingeladene Vorträge, gehalten von Prof. Bart Preneel von der KU Leuven, Prof. Ahmad-Reza Sadeghi von der TU Darmstadt und Prof. Ivan Visconti von der Universität Salerno. Die Veröffentlichung von Konferenzbeiträgen in einem LNCS-Band durch Springer wird in 2024 erwartet.

PACY auf ACNS 2023 in Kyoto

Letzte Woche nahmen Prof. Manulis, Hugo Nartz und Matteo Salvino an der 21. International Conference on Applied Cryptography and Network Security (ACNS) in Kyoto, Japan, teil. Das Konferenzprogramm enthielt zwei von PACY mitverfasste Beiträge. Die erste Arbeit mit dem Titel "Revocable Hierarchical Attribute-based Signatures from Lattices" wurde von Hugo Nartz (im Bild) vorgestellt. Dabei handelt es sich um unsere gemeinsame Arbeit mit Daniel Gardham und Nick Frymann vom Surrey Centre for Cyber Security in Großbritannien. Die zweite Arbeit mit dem Titel "On the Complete Non-Malleability of the Fujisaki-Okamoto Transform" wurde von Matteo Salvino vorgestellt und ist seine gemeinsame Arbeit mit Daniele Friolo und Daniele Venturi von La Sapienza, University of Rome in Italien.