Mechanized Certification of Secure Hardware Designs.

Sandip Ray Warren A. Hunt Jr.

Published in: MTV (2007)

Keyphrases

hardware designs
third party
low cost
model based diagnosis
security requirements
real time
computer vision
search algorithm
data processing
security issues
key management
security analysis
cryptographic protocols