Detecting hardware trojans: a tale of two techniques
Publication Year
2015
Type
Conference Paper
Conference Name
Formal Methods in Computer-Aided Design (FMCAD), 2015
Publisher
IEEE