Vorstudien zum Projekt ÖvIT

Ökosystem vertrauenswürdige IT: Beweisbare Cybersicherheit (ÖvIT)

Los 3: Formal Verification of Hardware-Software-Interfaces



Projektpartner/Auftragnehmer

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH: Christoph Lüth, Dieter Hutter, Milan Funck, Jan Zielasko

Abstract der Veröffentlichung

We report on the state of the art in the area of formal verification at the hardware-software interface. Following a systematic survey of the literature covering the last  ten years, we can give a landscape of existing verified systems and verification tools. Verification methods have come of age, with verified operating system kernels, compilers, and hardware, but there are still substantial gaps, in particular with respect to security; we detail these research needs and propose directions for future research efforts.

Zur Vorstudie Los 3 [pdf]

Zu den aktuellen Ausschreibungen [html]

Kontakt

oevit@cyberagentur.de / evit@cyberagentur.de


Immer uptodate? Abonnieren Sie unseren wissenschaftlichen Newsletter, dann erfahren Sie schnell, welche Ausschreibungen wir gerade aktuell veröffentlicht haben sowie weitere interessante Informationen aus dem Bereich Forschung und Innovation.



Besuchen Sie auch unserer Karriereseiten, um mehr über offene Stellenangebote oder Angebote für Studierende zu erfahren.