Vorstudien zum Projekt ÖvIT
Ökosystem vertrauenswürdige IT: Beweisbare Cybersicherheit (ÖvIT)
Los 2: Formal Security Verification of Hardware
Projektpartner/Auftragnehmer
Rheinland-Pfälzische Technische Universität: Wolfgang Kunz, Dominik Stoffel, Johannes Müller, Mohammad R. Fadiheh
Abstract der Veröffentlichung
This study provides an overview on methods of formal hardware verification in view of relevant security objectives for the basic IT elements in hardware at the microarchitectural level. We derive the targets of sign-off security verification from an analysis of common hardware weaknesses and the relevant security requirements for microarchitectures. The study relates these targets to the state of the art in formal hardware verification and describes strengths and weaknesses of different methods and methodologies. This leads to research recommendations for formal security verification of hardware.
Zu den aktuellen Ausschreibungen [html]
Kontakt
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.