Sciweavers

146
Voted
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
16 years 14 days ago
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 trust...
Ilya Wagner, Valeria Bertacco