Engineering Trust with Semantic Guardians

The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trusted systems. Unfortunately, this goal remains today an unfulfilled challenge, as even the most straightforward practical d...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Wagner, I., Bertacco, V.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer architecture Computer bugs Costs Digital integrated circuits Hardware Logic design Microprocessors Military computing Security Switches
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!