DLS in
Cybersecurity

Mit der Distinguished Lecture Series in Cybersecurity kommen jedes Semester herausragende Expert*innen aus Wissenschaft und Wirtschaft nach Darmstadt, um die vielfältigen Chancen und He­raus­for­de­rung­en im Bereich der IT-Sicherheit zu diskutieren.

Die Redner*innen stellen in den Vorlesungen richtungsweisende For­schungs­er­geb­nisse verschiedener Disziplinen vor, fassen komplexe Themenbereiche zusammen und zeigen den momentanen Kenntnisstand ihres Forschungs- oder Arbeitsgebietes auf.

Die Vorträge sind öffentlich. Interessierte Besucher*innen sind herzlich willkommen. 

Mitglieder des Programm Komitees sind:
Prof. Christoph Busch, Hochschule Darmstadt
Prof. Jörn Kohlhammer, Fraunhofer IGD
Prof. Ahmad-Reza Sadeghi, TU Darmstadt (Lead)
Prof. Michael Waidner, Fraunhofer SIT | TU Darmstadt


Wann:
An ausgewählten Donnerstagen
jeweils von 16:15 - 17:15 Uhr
während der Vorlesungszeit

Wo:
TU Darmstadt
Piloty-Gebäude S2|02 Raum C 110
Hochschulstraße 10
64289 Darmstadt

Nach der Vorlesung gibt es Möglichkeit zum Austausch bei einem kleinen Buffet vor Ort. 


DLS in Cybersecurity mit Gene Tsudik: VRASED: Verifiable Remote Attestation for Simple Embedded Devices

19. März 2019 von 16:15 – 17:15 Uhr

Ort: TU Darmstadt | Piloty-Gebäude S2|02 | Raum C 110 | Hochschulstraße 10 | Darmstadt

Dozent/-in: Prof. Gene Tsudik, University of California, Irvine, USA

  - Achtung: diese DLS findet ausnahmesweise an einem Dienstag statt -
Abstract

Remote Attestation (RA) is a security service that allows a trusted verifier (Vrf) to measure the software state of an untrusted remote device -- Prv. If correctly implemented, RA allows Vrf to remotely detect if Prv is in an illegal or compromised state. Although several RA architectures have been proposed, little attention has been devoted to their verifiability and security guarantees that can be derived through formal verification of RA architectures.

In this talk we introduce VRASED: Verifiable Remote Attestation for Simple Embedded Devices. VRASED instantiates a hybrid (HW/SW) RA co-design aimed at low-end embedded systems, e.g., simple IoT devices. Since VRASED security properties must be jointly guaranteed by HW and SW, verification is a challenging task, which has never been attempted before in the context of RA. We believe that VRASED is the first formally verified RA scheme. It is also the first formal verification of a HW/SW implementation of any security service. VRASED's publicly available implementation was deployed on the Basys3 FPGA and requires 16x fewer Look-Up Tables and 36x fewer registers than the cheapest pure HW-based design.

Zur Veranstaltungs-Übersicht