Seit Oktober 2014 arbeiten in CROSSING mehr als 65 Wissenschaftler*innen aus den Bereichen Kryptographie, Quantenphysik, Systemsicherheit und Softwaretechnik erfolgreich zusammen. Ihr Ziel ist die Entwicklung kryptographiebasierter Sicherheitslösungen, die den Rechenumgebungen der Zukunft gewachsen sind. Dazu zählen zum Beispiel große Cloudumgebungen und Quantencomputer.
Neben hohen Ansprüchen an die Effizienz und Sicherheit geht es auch um die Bedienbarkeit: Die Lösungen sind nämlich nicht nur für Kryptographie-Fachleute gedacht. Auch wer mit Softwareentwicklung oder in der Administration zu tun hat oder Endnutzer*in ist, soll sie verwenden können.
Die Arbeitsgruppe von Prof. Davi hat in CROSSING bereits neue Sicherheits-Techniken für eingebettete Systeme, Smart Contracts und Trusted Execution Environments entwickelt. Mit seinem Team konzentrierte er sich dabei auf Techniken der „Attestation“ und damit wortwörtlich auf die „Beglaubigung“, dass Komponenten sicher und vertrauenswürdig sind. „Attestation überprüft die Zustandsintegrität eines Systems, also z.B., ob die Software oder die Hardware einer Komponente von Hackern manipuliert wurde“, erklärt Lucas Davi den Ansatz.
In der dritten Phase von CROSSING will er gemeinsam mit einem Darmstädter Kollegen komplexere Softwareumgebungen in den Fokus nehmen. „Unser Ziel ist es, die Attestation für groß angelegte, verteilte Rechnersysteme und Cloud-Anwendungen zu ermöglichen“, erläutert Davi.
Zusätzlich ist der Wissenschaftler für ein neues Transfer-Projekt verantwortlich: Gemeinsam mit den NEC Laboratories Europe werden neue Attestation-Techniken speziell für Smart Contracts erarbeitet, sodass die programmierten Verträge sicher in einer Blockchain ausgeführt werden können. Ihre Praxistauglichkeit wird anhand von Anwendungsfällen aus dem Finanzsektor evaluiert.
Über CROSSING
Mit der Zusage für weitere vier Jahre und 10 Mio. Euro Fördersumme erreicht CROSSING die maximale Förderdauer von zwölf Jahren. Die Technische Universität Darmstadt koordiniert den SFB und kooperiert mit der Universität Duisburg-Essen, den Universitäten Paderborn und Regensburg sowie dem Fraunhofer-Institut für Sichere Informationstechnologie (SIT) in Darmstadt.
Allgemeiner Hinweis: Mit einer möglichen Nennung von geschlechtszuweisenden Attributen implizieren wir alle, die sich diesem Geschlecht zugehörig fühlen, unabhängig vom biologischen Geschlecht.
Sicherheit für die Rechner der Zukunft
Lucas Davi leitet im SFB CROSSING zwei Teilbereiche. Copyright: CASA
